( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Wellfounded trees in categories.

, и . Ann. Pure Appl. Log., 104 (1-3): 189-218 (2000)

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.

Urban Palmgren

Ernst Palmgren

John Palmgren

Myrna Palmgren

Nilgün Erikli

 

Другие публикации лиц с тем же именем

Quotient Spaces and Coequalisers in Formal Topology.. J. Univers. Comput. Sci., 11 (12): 1996-2007 (2005)A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis.. J. Logic & Analysis, (2012)Logically Presented Domains, и . LICS, стр. 455-463. IEEE Computer Society, (1995)Type theories, toposes and constructive set theory: predicative aspects of AST., и . Ann. Pure Appl. Log., 114 (1-3): 155-201 (2002)Constructivist Versus Structuralist Foundations.. Epistemology versus Ontology, том 27 из Logic, Epistemology, and the Unity of Science, Springer, (2012)From type theory to setoids and back.. Math. Struct. Comput. Sci., 32 (10): 1283-1312 (ноября 2022)An Information System Interpretation of Martin-Löf's Partial Type Theory with Universes. Inf. Comput., 106 (1): 26-60 (сентября 1993)A Sheaf-Theoretic Foundation for Nonstandard Analysis.. Ann. Pure Appl. Log., 85 (1): 69-86 (1997)Continuity on the real line and in formal spaces.. From sets and types to topology and analysis, том 48 из Oxford logic guides, Oxford University Press, (2005)Introduction: The philosophy of logical consequence and inference., , и . Synthese, 187 (3): 817-820 (2012)