User loginNavigation 
Jumbo Lambda CalculusTwo new papers by Paul Blain Levy, "Jumbo Lambda Calculus" and the extended version "Jumbo Connectives in Type Theory and Logic", are available on his web page. Part of the abstract:
(From the types list.) By Matt Hellige at 20060512 16:23  Lambda Calculus  Semantics  Type Theory  other blogs  13973 reads

Browse archivesActive forum topics
New forum topics

Recent comments
2 days 5 hours ago
3 days 23 hours ago
2 weeks 1 day ago
3 weeks 5 hours ago
4 weeks 2 hours ago
5 weeks 5 days ago
6 weeks 1 day ago
7 weeks 1 day ago
7 weeks 5 days ago
7 weeks 5 days ago