Peter Aczel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2015

Generalized geometric theories and set-generated classesPeter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu. mscs, 25(7):1466-1483, 2015. [doi]

2013

Rudimentary and arithmetical constructive set theoryPeter Aczel. APAL, 164(4):396-415, 2013. [doi]

Are There Enough Injective Sets?Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster. sLogica, 101(3):467-482, 2013. [doi]

2010

On the T::1:: axiom and other separation properties in constructive point-free and point-set topologyPeter Aczel, Giovanni Curi. APAL, 161(4):560-569, 2010. [doi]

2008

The Relation Reflection SchemePeter Aczel. mlq, 54(1):5-11, 2008. [doi]

2006

Aspects of general topology in constructive set theoryPeter Aczel. APAL, 137(1-3):3-29, 2006. [doi]

The generalised type-theoretic interpretation of constructive set theoryPeter Aczel, Nicola Gambino. JSYML, 71(1):67-103, 2006. [doi]

Binary Refinement Implies Discrete ExponentiationPeter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster. sLogica, 84(3):361-368, 2006. [doi]

2005

Separation Properties in Constructive TopologyPeter Aczel, Christopher Fox. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

2003

Infinite trees and completely iterative theories: a coalgebraic viewPeter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil. TCS, 300(1-3):1-45, 2003. [doi]

2001

The Russell-Prawitz modalityPeter Aczel. mscs, 11(4):541-554, 2001.

A Coalgebraic View of Infinite Trees and IterationPeter Aczel, Jirí Adámek, Jiri Velebil. ENTCS, 44(1):1-26, 2001. [doi]

2000

Algebras and CoalgebrasPeter Aczel. acmmpc 2002: 79-88 [doi]

Collection Principles in Dependent Type TheoryPeter Aczel, Nicola Gambino. TYPES 2002: 1-23 [doi]

1998

On Relating Type Theories and Set TheoriesPeter Aczel. TYPES 1999: 1-18 [doi]

1993

Final Universes of ProcessesPeter Aczel. mfps 1994: 1-28

1991

Term Declaration Logic and Generalised CompositaPeter Aczel. lics 1991: 22-30

1989

A Final Coalgebra TheoremPeter Aczel, Nax Paul Mendler. ctcs 1989: 357-365

1988

Non-well-founded setsPeter Aczel. Volume 14 of CSLI lecture notes series, CSLI, 1988.

The notion of a Framework and a framework for LTCPaul F. Mendler, Peter Aczel. lics 1988: 392-399

1986

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

1972

Describing Ordinals Using Functionals of Transfinite TypePeter Aczel. JSYML, 37(1):35-47, 1972.

Sign in or sign up to see more results.

runs on WebDSL