User loginNavigation |
archivesLINQ May 2006 Preview"A preview of LINQ, code name for a set of extensions to the .NET Framework that encompass language-integrated data query, set, and transform operations." 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 | 3 comments | other blogs | 18408 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 3 days ago
2 weeks 3 days ago
2 weeks 3 days ago
24 weeks 5 days ago
29 weeks 54 min ago
30 weeks 4 days ago
30 weeks 4 days ago
33 weeks 2 days ago
37 weeks 6 days ago
37 weeks 6 days ago