( en | de | ru )

 

Disambiguation of "Aczel, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions

. Logic, Methodology and Philosophy of Science VII Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, volume 114 of Studies in Logic and the Foundations of Mathematics, Elsevier, (1986)
DOI: http://dx.doi.org/10.1016/S0049-237X(09)70683-4

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Géza Aczél

Stephan Aczél

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)
 

Other publications of authors with the same name

Final Universes of Processes.. MFPS, volume 802 of Lecture Notes in Computer Science, page 1-28. Springer, (1993)Aspects of general topology in constructive set theory.. Ann. Pure Appl. Log., 137 (1-3): 3-29 (2006)Algebras and Coalgebras.. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, volume 2297 of Lecture Notes in Computer Science, page 79-88. Springer, (2000)On the T1 axiom and other separation properties in constructive point-free and point-set topology., and . Ann. Pure Appl. Log., 161 (4): 560-569 (2010)Collection Principles in Dependent Type Theory., and . TYPES, volume 2277 of Lecture Notes in Computer Science, page 1-23. Springer, (2000)Rudimentary and arithmetical constructive set theory.. Ann. Pure Appl. Log., 164 (4): 396-415 (2013)Generalized geometric theories and set-generated classes., , , and . Math. Struct. Comput. Sci., 25 (7): 1466-1483 (2015)A Final Coalgebra Theorem., and . Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 357-365. Springer, (1989)The notion of a Framework and a framework for LTC, and . LICS, page 392-399. IEEE Computer Society, (1988)A Coalgebraic View of Infinite Trees and Iteration., , and . CMCS, volume 44 of Electronic Notes in Theoretical Computer Science, page 1-26. Elsevier, (2001)