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 2006-05-12 16:23 | Lambda Calculus | Semantics | Type Theory | other blogs | 17483 reads
|
Browse archivesActive forum topics |
Recent comments
8 weeks 2 days ago
8 weeks 4 days ago
8 weeks 6 days ago
15 weeks 5 days ago
21 weeks 3 days ago
21 weeks 4 days ago
22 weeks 3 days ago
25 weeks 2 days ago
26 weeks 5 days ago
26 weeks 5 days ago