- Constraint systems for useless variable elimination Mitchell Wand Igor Siveroni Mon 24 June 2013
- Lambda Calculus and Types Andrew D. Ker Mon 24 June 2013
- The complexity of beta-reduction in low orders Aleksy Schubert Mon 24 June 2013
- The Scott model of linear logic is the extensional collapse of its relational model Thomas Ehrhard Mon 24 June 2013
- A Linear Metalanguage for Concurrency Glynn Winskel Mon 24 June 2013
- Linearity and nonlinearity in distributed computation Glynn Winskel Mon 24 June 2013
- Intersection type assignment systems Steffen van Bakel Mon 24 June 2013
- Strict intersection types for the Lambda Calculus Steffen van Bakel Mon 24 June 2013
- Categorical Semantics of Linear Logic Paul-André Melliès Mon 24 June 2013
- Execution Time of lambda-Terms via Denotational Semantics and Intersection Types Daniel de Carvalho Mon 24 June 2013
- Equality between Functionals Revisited R. Statman Mon 24 June 2013
- Equality between functionals Harvey Friedman Mon 24 June 2013
- Category Theory for Linear Logicians Richard Blute Philip Scott Mon 24 June 2013
- Termination Analysis of Higher-Order Functional Programs Damien Sereni Mon 24 June 2013
- Flow analysis of lazy higher-order functional programs Neil D. Jones Nils Andersen Mon 24 June 2013
- Flow Analysis of Lambda Expressions (Preliminary Version) Neil D. Jones Mon 24 June 2013
- Generalised Flowcharts and Games Pasquale Malacaria Chris Hankin Mon 24 June 2013
- Lecture Notes: Control Flow Analysis for Functional Languages Jonathan Aldrich Mon 24 June 2013
- Control-flow analysis of functional programs Jan Midtgaard Mon 24 June 2013
- A new approach to control flow analysis Pasquale Malacaria Chris Hankin Mon 24 June 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
