dblp.uni-trier.dewww.uni-trier.de

Peter Aczel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
15EEPeter Aczel: The Relation Reflection Scheme. Math. Log. Q. 54(1): 5-11 (2008)
2006
14EEPeter Aczel: Aspects of general topology in constructive set theory. Ann. Pure Appl. Logic 137(1-3): 3-29 (2006)
13EEPeter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006)
2003
12EEPeter 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
11EEPeter 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
9EEPeter Aczel: Algebras and Coalgebras. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 79-88
8EEPeter Aczel, Nicola Gambino: Collection Principles in Dependent Type Theory. TYPES 2000: 1-23
1998
7EEPeter Aczel: On Relating Type Theories and Set Theories. TYPES 1998: 1-18
1993
6EEPeter 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)