Peter Aczel - RankMe

22 papers A* 2B 1Journal 12Unranked 5

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Generalized geometric theories and set-generated classes. Math. Struct. Comput. Sci. Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
2013	J	`jnl`	Are There Enough Injective Sets? Stud Logica Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster
2013	J	`jnl`	Rudimentary and arithmetical constructive set theory. Ann. Pure Appl. Log. Peter Aczel
2010	J	`jnl`	On the T Ann. Pure Appl. Log. Peter Aczel, Giovanni Curi
2008	J	`jnl`	The Relation Reflection Scheme. Math. Log. Q. Peter Aczel
2006	J	`jnl`	Aspects of general topology in constructive set theory. Ann. Pure Appl. Log. Peter Aczel
2006	J	`jnl`	Binary Refinement Implies Discrete Exponentiation. Stud Logica Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
2006	J	`jnl`	The generalised type-theoretic interpretation of constructive set theory. J. Symb. Log. Peter Aczel, Nicola Gambino
2005	—	`ch.`	Separation Properties in Constructive Topology. From sets and types to topology and analysis Peter Aczel, Christopher Fox
2003	J	`jnl`	Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comput. Sci. Peter Aczel, Jirí Adámek, Stefan Milius, Jirí Velebil
2001	—	`conf`	A Coalgebraic View of Infinite Trees and Iteration. CMCS Peter Aczel, Jirí Adámek, Jirí Velebil
2001	J	`jnl`	The Russell-Prawitz modality. Math. Struct. Comput. Sci. Peter Aczel
2000	—	`conf`	Algebras and Coalgebras. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Peter Aczel
2000	—	`conf`	Collection Principles in Dependent Type Theory. TYPES Peter Aczel, Nicola Gambino
1998	—	`conf`	On Relating Type Theories and Set Theories. TYPES Peter Aczel
1993	B	`conf`	Final Universes of Processes. MFPS Peter Aczel
1991	A*	`conf`	Term Declaration Logic and Generalised Composita LICS Peter Aczel
1989	—	`conf`	A Final Coalgebra Theorem. Category Theory and Computer Science Peter Aczel, Nax Paul Mendler
1988	—	`book`	Non-well-founded sets. Peter Aczel
1988	A*	`conf`	The notion of a Framework and a framework for LTC LICS Paul F. Mendler, Peter Aczel
1986	J	`jnl`	European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. J. Symb. Log. Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates
1972	J	`jnl`	Describing Ordinals Using Functionals of Transfinite Type. J. Symb. Log. Peter Aczel