A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Aczel, Peter, The Classical R-operator and Games |
| Aczel, Peter, The Strength of Martinlöf's Intuitionistic Type Theory with One Universe |
| Aczel, Peter, The Type Theoretic Interpretation of Constructive Set Theory |
| Aczel, Peter, Three Systems of Notations for Ordinals |
| Aczel, Peter, Saturated Intuitionistic Theories (1968) |
| Aczel, Peter, The Lattice of Recursive Density Types (1968) |
| Aczel, Peter, Implicit and Inductive Definability (1969) |
| Aczel, Peter, Partial Recursive Functions of Partial Objects of Finite Types and Extended Jump Operations (1969) |
| Aczel, Peter, The Ordinals of Classes of Non-Monotone Inductive Definitions (1970) |
| Aczel, Peter, The Ordinals of the Superjump and Related Functionals (1970) |