( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Type Theorie Programming.

, , , и . Bulletin of the EATCS, (1994)

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.

Thierry Somville

Thierry Allain

Thierry Djenizian

Thierry Carrel

Thierry Carpent

 

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

Intuitionistic choice and classical logic., и . Arch. Math. Log., 39 (1): 53-74 (2000)Type Theorie Programming., , , и . Bulletin of the EATCS, (1994)Alfa/Agda.. The Seventeen Provers of the World, том 3600 из Lecture Notes in Computer Science, Springer, (2006)A Short Proof for the Krull Dimension of a Polynomial Ring., и . The American Mathematical Monthly, 112 (9): 826-829 (2005)On Higher Inductive Types in Cubical Type Theory., , и . LICS, стр. 255-264. ACM, (2018)A Logical Framework with Dependently Typed Records., , и . TLCA, том 2701 из Lecture Notes in Computer Science, стр. 105-119. Springer, (2003)Preface to the special issue for The Fifth Workshop on Formal Topology., , и . J. Logic & Analysis, (2019)A Boolean Model of Ultrafilters.. Ann. Pure Appl. Log., 99 (1-3): 231-239 (1999)The Paradox of Trees in Type Theory.. BIT, 32 (1): 10-14 (1992)Intuitionistic Model Constructions and Normalization Proofs., и . Math. Struct. Comput. Sci., 7 (1): 75-94 (1997)