( 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)

Jillian Petersen

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

Andre Peters

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

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)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)Aspects of general topology in constructive set theory.. Ann. Pure Appl. Log., 137 (1-3): 3-29 (2006)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)Describing Ordinals Using Functionals of Transfinite Type.. J. Symb. Log., 37 (1): 35-47 (1972)The generalised type-theoretic interpretation of constructive set theory., and . J. Symb. Log., 71 (1): 67-103 (2006)Non-well-founded sets.. CSLI lecture notes series CSLI, (1988)The Russell-Prawitz modality.. Math. Struct. Comput. Sci., 11 (4): 541-554 (2001)Binary Refinement Implies Discrete Exponentiation., , , , and . Stud Logica, 84 (3): 361-368 (2006)