Generalized geometric theories and set-generated classes
ACZEL, PETER, ISHIHARA, HAJIME, NEMOTO, TAKAKO, SANGU, YASUSHI
Published in Mathematical structures in computer science (01.10.2015)
Published in Mathematical structures in computer science (01.10.2015)
Get full text
Journal Article
Infinite trees and completely iterative theories: a coalgebraic view
Aczel, Peter, Adámek, Jiřı́, Milius, Stefan, Velebil, Jiřı́
Published in Theoretical computer science (07.05.2003)
Published in Theoretical computer science (07.05.2003)
Get full text
Journal Article
Are There Enough Injective Sets?
Aczel, Peter, van den Berg, Benno, Granström, Johan, Schuster, Peter
Published in Studia logica (01.06.2013)
Published in Studia logica (01.06.2013)
Get full text
Journal Article
Binary Refinement Implies Discrete Exponentiation
Aczel, Peter, Crosilla, Laura, Ishihara, Hajime, Palmgren, Erik, Schuster, Peter
Published in Studia logica (01.12.2006)
Published in Studia logica (01.12.2006)
Get full text
Journal Article
Are There Enough Injective Sets?
Aczel, Peter, Berg, Benno van den, Granstroem, Johan, Schuster, Peter
Year of Publication 22.11.2011
Year of Publication 22.11.2011
Get full text
Journal Article
A Coalgebraic View of Infinite Trees and Iteration
Aczel, Peter, Adámek, Jiří, Velebil, Jiří
Published in Electronic notes in theoretical computer science (01.05.2001)
Published in Electronic notes in theoretical computer science (01.05.2001)
Get full text
Journal Article
Inductive definitions and analogues of large cardinals
Aczel, Peter, Richter, Wayne
Published in Conference in Mathematical Logic — London ’70 (19.08.2006)
Published in Conference in Mathematical Logic — London ’70 (19.08.2006)
Get full text
Book Chapter
Are There Enough Injective Sets?
Aczel, Peter, van den Berg, Benno, Granstroem, Johan, Schuster, Peter
Published in arXiv.org (22.11.2011)
Get full text
Published in arXiv.org (22.11.2011)
Paper
Term declaration logic and generalised composita
Aczel, P.
Published in [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science (1991)
Published in [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science (1991)
Get full text
Conference Proceeding