Lambda Terms and Proof Theory (1972)

by Combinators
Venue:Synthese Library. D. Reidel/Dodrecht
Add To MetaCart
Results 1 - 2 of 2

Lambda Calculi with Types

by Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - Handbook of Logic in Computer Science , 1992
"... - ..."
Abstract - Cited by 474 (4 self) - Add to MetaCart
Abstract not found

Projection-based Cut-Elimination and Normalization

by Alexander Leitsch , 2004
"... ..."
Abstract - Add to MetaCart
Abstract not found