- Infinite Lambda-calculus and Types Alessandro Berarducci Mariangiola Dezani-Ciancaglini Thu 04 July 2013
- Types for hereditary head normalizing terms Makoto Tatsuta Thu 04 July 2013
- Types for Hereditary Permutators Makoto Tatsuta Thu 04 July 2013
- The inclusion problem for some subclasses of context-free languages Peter R. J. Asveld Anton Nijholt Thu 04 July 2013
- Superdeterministic PDAs: A Subcase with a Decidable Inclusion problem S. A. Greibach E. P. Friedman Thu 04 July 2013
- Recursion schemes and recursive programs are exponentially hard to analyze III H B Hunt D J Rosenkrantz Wed 03 July 2013
- The Bologna Optimal Higher-Order Machine A. Asperti C. Giovannetti A. Naletto Wed 03 July 2013
- Model Checking Parse Trees Anudhyan Boral Sylvain Schmitz Wed 03 July 2013
- A unified approach to fully lazy sharing Thibaut Balabonski Wed 03 July 2013
- Atomic lambda-calculus : a typed lambda-calculus with explicit sharing Tom Gundersen Willem Heijltjes Michel Parigot Wed 03 July 2013
- Binary Lambda Calculus and Combinatory Logic John Tromp Mon 01 July 2013
- A short cut to deforestation Andrew Gill John Launchbury Simon L. Peyton Jones Mon 01 July 2013
- Tree Structure Compression with RePair Markus Lohrey Sebastian Maneth Roy Mennicke Mon 01 July 2013
- Efficient memory representation of XML document trees Giorgio Busatto Markus Lohrey Sebastian Maneth Mon 01 July 2013
- Compression and Explanation using Hierarchical Grammars Craig Nevill-Manning Ian I. Witten Mon 01 July 2013
- Testing Equivalence of Morphisms on Context-Free Languages Wojciech Plandowski Mon 01 July 2013
- Functional pearl: every bit counts Dimitrios Vytiniotis Andrew J. Kennedy Mon 01 July 2013
- An upper bound for reduction sequences in the typed łambda-calculus Helmut Schwichtenberg Mon 01 July 2013
- Lambda Calculi with Types Henk Barendregt Mon 01 July 2013
- An algorithm for optimal lambda calculus reduction John Lamping Mon 01 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
