Describing Ordinals Using Functionals of Transfinite Type. - Peter Aczel (J. Symb. Log., 1972)

European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. - Peter Aczel; Jeff B. Paris; A. J. Wilkie; George M. Wilmers; C. E. M. Yates (J. Symb. Log., 1986)

Non-well-founded sets. - Peter Aczel (CSLI, 1988)

The notion of a Framework and a framework for LTC - Paul F. Mendler; Peter Aczel (LICS, 1988)

A Final Coalgebra Theorem. - Peter Aczel; Nax Paul Mendler (Category Theory and Computer Science, 1989)

Term Declaration Logic and Generalised Composita - Peter Aczel (LICS, 1991)

Final Universes of Processes. - Peter Aczel (MFPS, 1993)

On Relating Type Theories and Set Theories. - Peter Aczel (TYPES, 1998)

Algebras and Coalgebras. - Peter Aczel (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000)

Collection Principles in Dependent Type Theory. - Peter Aczel; Nicola Gambino (TYPES, 2000)

A Coalgebraic View of Infinite Trees and Iteration. - Peter Aczel; Jirí Adámek; Jirí Velebil (CMCS, 2001)

The Russell-Prawitz modality. - Peter Aczel (Math. Struct. Comput. Sci., 2001)

Infinite trees and completely iterative theories: a coalgebraic view. - Peter Aczel; Jirí Adámek; Stefan Milius; Jirí Velebil (Theor. Comput. Sci., 2003)

Separation Properties in Constructive Topology. - Peter Aczel; Christopher Fox (From sets and types to topology and analysis, 2005)

Aspects of general topology in constructive set theory. - Peter Aczel (Ann. Pure Appl. Log., 2006)

The generalised type-theoretic interpretation of constructive set theory. - Peter Aczel; Nicola Gambino (J. Symb. Log., 2006)

Binary Refinement Implies Discrete Exponentiation. - Peter Aczel; Laura Crosilla; Hajime Ishihara; Erik Palmgren; Peter Schuster 001 (Stud Logica, 2006)

The Relation Reflection Scheme. - Peter Aczel (Math. Log. Q., 2008)

On the T1 axiom and other separation properties in constructive point-free and point-set topology. - Peter Aczel; Giovanni Curi (Ann. Pure Appl. Log., 2010)

Rudimentary and arithmetical constructive set theory. - Peter Aczel (Ann. Pure Appl. Log., 2013)

Are There Enough Injective Sets? - Peter Aczel; Benno van den Berg; Johan Georg Granström; Peter Schuster 001 (Stud Logica, 2013)

Generalized geometric theories and set-generated classes. - Peter Aczel; Hajime Ishihara; Takako Nemoto; Yasushi Sangu (Math. Struct. Comput. Sci., 2015)