Login / Signup
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types.
Andreas Abel
Thorsten Altenkirch
Published in:
TYPES (1999)
Keyphrases
</>
lambda calculus
programming language
machine learning
general purpose
predicate calculus
theorem proving