Publication:4268477
From MaRDI portal
zbMath0925.03149MaRDI QIDQ4268477
Publication date: 28 October 1999
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Some Remarks on Type Systems for Course-of-value Recursion, A Tutorial on Type-Based Termination, On the confluence of lambda-calculus with conditional rewriting, Recursive programming with proofs, The Inf function in the system \(F\), From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Strong storage operators and data types, Minimality in a Linear Calculus with Iteration