Peter Aczel

Publication Activity (10 Years)

Years Active: 1972-2015
Publications (10 Years): 1

Top Topics

Algebraic Geometry

Randomly Selected

Top Venues

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
Generalized geometric theories and set-generated classes. Math. Struct. Comput. Sci. 25 (7) (2015)
Peter Aczel
Rudimentary and arithmetical constructive set theory. Ann. Pure Appl. Log. 164 (4) (2013)
Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster
Are There Enough Injective Sets? Stud Logica 101 (3) (2013)
Peter Aczel, Giovanni Curi
axiom and other separation properties in constructive point-free and point-set topology. Ann. Pure Appl. Log. 161 (4) (2010)
Peter Aczel
The Relation Reflection Scheme. Math. Log. Q. 54 (1) (2008)
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
Binary Refinement Implies Discrete Exponentiation. Stud Logica 84 (3) (2006)
Peter Aczel, Nicola Gambino
The generalised type-theoretic interpretation of constructive set theory. J. Symb. Log. 71 (1) (2006)
Peter Aczel
Aspects of general topology in constructive set theory. Ann. Pure Appl. Log. 137 (1-3) (2006)
Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil
Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comput. Sci. 300 (1-3) (2003)
Peter Aczel, Jirí Adámek, Jiri Velebil
A Coalgebraic View of Infinite Trees and Iteration. CMCS (2001)
Peter Aczel
The Russell-Prawitz modality. Math. Struct. Comput. Sci. 11 (4) (2001)
Peter Aczel, Nicola Gambino
Collection Principles in Dependent Type Theory. TYPES (2000)
Peter Aczel
Algebras and Coalgebras. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Peter Aczel
On Relating Type Theories and Set Theories. TYPES (1998)
Peter Aczel
Final Universes of Processes. MFPS (1993)
Peter Aczel
Term Declaration Logic and Generalised Composita LICS (1991)
Peter Aczel, Nax Paul Mendler
A Final Coalgebra Theorem. Category Theory and Computer Science (1989)
Paul F. Mendler, Peter Aczel
The notion of a Framework and a framework for LTC LICS (1988)
Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. J. Symb. Log. 51 (2) (1986)
Peter Aczel
Describing Ordinals Using Functionals of Transfinite Type. J. Symb. Log. 37 (1) (1972)