Lambda-Definition of Function(al)s by Normal Forms
Abstract elided by the publisher.
Related papers
- Remarks on the equational theory of non-normalizing pure type systems JFP 2006
- Director Strings as Combinators TOPLAS 1988
- Residual Theory in lambda-Calculus: A Formal Development JFP 1994
- The exp-log normal form of types: decomposing extensional equality and representing terms compactly POPL 2017
- Representing 'undefined' in lambda Calculus JFP 1992
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums POPL 2004
- Self-Interpretations in lambda Calculus JFP 1991
- Foundations of strong call by need ICFP 2017