Peter Aczel

	2008
15		Peter Aczel: The Relation Reflection Scheme. Math. Log. Q. 54(1): 5-11 (2008)
	2006
14		Peter Aczel: Aspects of general topology in constructive set theory. Ann. Pure Appl. Logic 137(1-3): 3-29 (2006)
13		Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006)
	2003
12		Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil: Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comput. Sci. 300(1-3): 1-45 (2003)
	2001
11		Peter Aczel, Jirí Adámek, Jiri Velebil: A Coalgebraic View of Infinite Trees and Iteration. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
10		Peter Aczel: The Russell-Prawitz modality. Mathematical Structures in Computer Science 11(4): 541-554 (2001)
	2000
9		Peter Aczel: Algebras and Coalgebras. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 79-88
8		Peter Aczel, Nicola Gambino: Collection Principles in Dependent Type Theory. TYPES 2000: 1-23
	1998
7		Peter Aczel: On Relating Type Theories and Set Theories. TYPES 1998: 1-18
	1993
6		Peter Aczel: Final Universes of Processes. MFPS 1993: 1-28
	1991
5		Peter Aczel: Term Declaration Logic and Generalised Composita LICS 1991: 22-30
	1989
4		Peter Aczel, Nax Paul Mendler: A Final Coalgebra Theorem. Category Theory and Computer Science 1989: 357-365
	1988
3		Paul F. Mendler, Peter Aczel: The notion of a Framework and a framework for LTC LICS 1988: 392-399
	1986
2		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): 480-502 (1986)
	1972
1		Peter Aczel: Describing Ordinals Using Functionals of Transfinite Type. J. Symb. Log. 37(1): 35-47 (1972)

Coauthor Index

1	Jirí Adámek	[11] [12]
2	Laura Crosilla	[13]
3	Nicola Gambino	[8]
4	Hajime Ishihara	[13]
5	Nax Paul Mendler	[4]
6	Paul F. Mendler	[3]
7	Stefan Milius	[12]
8	Erik Palmgren	[13]
9	Jeff B. Paris	[2]
10	Peter Schuster	[13]
11	Jiri Velebil	[11] [12]
12	A. J. Wilkie	[2]
13	George M. Wilmers	[2]
14	C. E. M. Yates	[2]

Colors in the list of coauthors