P. Aczel

发表

Non-well-founded sets

Peter Aczel, P. Aczel, 1988, CSLI lecture notes series.

Homotopy Type Theory: Univalent Foundations of Mathematics

P. Aczel, Bas Spitters, N. Zeilberger, 2013 .

The Type Theoretic Interpretation of Constructive Set Theory

J. Paris, P. Aczel, A. Macintyre, 1978 .

Frege Structures and the Notions of Proposition, Truth and Set*

P. Aczel, 1980 .

Notes on constructive set theory

P. Aczel, M. Rathjen, 1997 .

The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles

P. Aczel, 1982 .

Representability in some systems of second order arithmetic

Peter Aczel, P. Aczel, 1970 .

Studies in Logic, Language and Information a Great Collection Csli/sri International Csli/stanford Csli/xerox Parc Library of Congress Cataloging-in-publication Data

M. de Rijke, P. Struss, Nicholas Asher, 1996 .

The Electronic Browsing Section : A Collection of Totally Unrelated Pieces of Audio and Video Equipment

P. Aczel, 2006 .

Local Constructive Set Theory and Inductive Definitions

P. Aczel, 2011 .

European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984

A. Wilkie, G. Wilmers, J. Paris, 1986, Journal of Symbolic Logic.

The Russell–Prawitz modality

Peter Aczel, P. Aczel, 2001, Mathematical Structures in Computer Science.

Ion chromatographic separation of selenite and selenate using a polyanionic eluent

P. Aczel, P. Janoš, 1996 .

Algebras and Coalgebras

Peter Aczel, P. Aczel, 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.

Final Universes of Processes

Peter Aczel, P. Aczel, 1993, MFPS.

Proof Theory: Some Applications of Cut-Elimination

Peter Aczel, Harold Simmons, Stanley S. Wainer, 1977 .

The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions

Peter Aczel, P. Aczel, 1986 .

A Final Coalgebra Theorem

Peter Aczel, Nax Paul Mendler, P. Aczel, 1989, Category Theory and Computer Science.

The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles

P. Aczel, 1982 .

A Constructive Version of the Lusin Separation Theorem

P. Aczel, 2009 .

Generalized geometric theories and set-generated classes

Peter Aczel, Hajime Ishihara, Takako Nemoto, 2014, Mathematical Structures in Computer Science.

Rudimentary and arithmetical constructive set theory

Peter Aczel, P. Aczel, 2013, Ann. Pure Appl. Log..

Are There Enough Injective Sets?

Peter Aczel, Peter Schuster, Johan Georg Granström, 2011, Studia Logica.

The Relation Reflection Scheme

Peter Aczel, P. Aczel, 2008, Math. Log. Q..

Binary Refinement Implies Discrete Exponentiation

Peter Aczel, Erik Palmgren, Peter Schuster, 2007, Stud Logica.

The generalised type-theoretic interpretation of constructive set theory

Peter Aczel, Nicola Gambino, P. Aczel, 2006, Journal of Symbolic Logic.

Collection Principles in Dependent Type Theory

Peter Aczel, Nicola Gambino, P. Aczel, 2000, TYPES.

On Relating Type Theories and Set Theories

Peter Aczel, P. Aczel, 1998, TYPES.

On the T1 axiom and other separation properties in constructive point-free and point-set topology

Peter Aczel, Giovanni Curi, P. Aczel, 2010, Ann. Pure Appl. Log..

Aspects of general topology in constructive set theory

Peter Aczel, P. Aczel, 2006, Ann. Pure Appl. Log..

Infinite trees and completely iterative theories: a coalgebraic view

P. Aczel, J. Adámek, J. Velebil, 2003, Theor. Comput. Sci..

A Coalgebraic View of Infinite Trees and Iteration

Peter Aczel, Jirí Adámek, Jiri Velebil, 2001, CMCS.

Algebraic Semantics for Intensional Logics, I

Peter Aczel, P. Aczel, 1989 .