Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference19 articles.
1. Lambda calculi with types;Barendregt,1992
2. H. P. Barendregt. Personal communication, 2012.
3. Weak normalization implies strong normalization in a class of non-dependent pure type systems
4. Berardi S. Type Dependence and Constructive Mathematics. Università di Torino; 1990. PhD Thesis.
5. A formulation of the simple theory of types