- Record: found
- Abstract: not found
- Book Chapter: not found
Programming Languages and Systems
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references17
- Record: found
- Abstract: not found
- Article: not found
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
N.G de Bruijn (1972)
- Record: found
- Abstract: not found
- Article: not found
Nominal logic, a first order theory of names and binding
Andrew M. Pitts (2003)
- Record: found
- Abstract: not found
- Article: not found
The revised report on the syntactic theories of sequential control and state
Matthias Felleisen, Robert Hieb (1992)