Cyclic lambda calculi
Lecture notes in computer science1997pp. 77–106
Citations Over TimeTop 10% of 1997 papers
Related Papers
- → Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types(1994)59 cited
- Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN(1998)
- → A Polymorphic Type System for the Lambda-Calculus with Constructors(2009)8 cited
- A terminating and confluent linear lambda calculus(2006)