Complexity of normalization in the pure typed λ-calculus (1982)

by H Schwichtenberg
Venue:The L.E.J. Brouwer Centenary Symposium
Add To MetaCart
Results 1 - 1 of 1

NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI

by Peter Battyani , 2007
"... ..."
Abstract - Add to MetaCart
Abstract not found