Peter Aczel

According to our database, Peter Aczel authored at least 22 papers between 1972 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2015

Generalized geometric theories and set-generated classes.

Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu

Math. Struct. Comput. Sci., 2015

2013

Are There Enough Injective Sets?

Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster

Stud Logica, 2013

Rudimentary and arithmetical constructive set theory.

Peter Aczel

Ann. Pure Appl. Log., 2013

2010

On the T₁ axiom and other separation properties in constructive point-free and point-set topology.

Peter Aczel, Giovanni Curi

Ann. Pure Appl. Log., 2010

2008

The Relation Reflection Scheme.

Peter Aczel

Math. Log. Q., 2008

2006

Binary Refinement Implies Discrete Exponentiation.

Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster

Stud Logica, 2006

The generalised type-theoretic interpretation of constructive set theory.

Peter Aczel, Nicola Gambino

J. Symb. Log., 2006

Aspects of general topology in constructive set theory.

Peter Aczel

Ann. Pure Appl. Log., 2006

2005

Separation Properties in Constructive Topology.

Peter Aczel, Christopher Fox

Proceedings of the From sets and types to topology and analysis, 2005

2003

Infinite trees and completely iterative theories: a coalgebraic view.

Peter Aczel, Jirí Adámek, Stefan Milius, Jirí Velebil

Theor. Comput. Sci., 2003

2001

The Russell-Prawitz modality.

Peter Aczel

Math. Struct. Comput. Sci., 2001

A Coalgebraic View of Infinite Trees and Iteration.

Peter Aczel, Jirí Adámek, Jirí Velebil

Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000

Collection Principles in Dependent Type Theory.

Peter Aczel, Nicola Gambino

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

Algebras and Coalgebras.

Peter Aczel

Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000

1998

On Relating Type Theories and Set Theories.

Peter Aczel

Proceedings of the Types for Proofs and Programs, 1998

1993

Final Universes of Processes.

Peter Aczel

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1991

Term Declaration Logic and Generalised Composita

Peter Aczel

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1989

A Final Coalgebra Theorem.

Peter Aczel, Nax Paul Mendler

Proceedings of the Category Theory and Computer Science, 1989

1988

The notion of a Framework and a framework for LTC

Paul F. Mendler, Peter Aczel

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Non-well-founded sets.

Peter Aczel

CSLI lecture notes series 14, CSLI, ISBN: 978-0-937073-21-6, 1988

1986

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

1972

Describing Ordinals Using Functionals of Transfinite Type.

Peter Aczel

J. Symb. Log., 1972