Lambda The Ultimate

This group is for activities related to:
Programming Languages
Models of Computation
Type Theory
Mathematical & Modal Logics.
Humble LTU Observer and Founder: Hex Link

Link to this page: https://world.secondlife.com/group/d19fb4de-7dd9-2ea4-2cb8-bbd05bda074f