( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Games with 1-backtracking.

, , и . GALOP@ETAPS, стр. 210-225. (2005)

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

 

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

Alfa/Agda.. The Seventeen Provers of the World, том 3600 из Lecture Notes in Computer Science, Springer, (2006)A Logical Framework with Dependently Typed Records., , и . TLCA, том 2701 из Lecture Notes in Computer Science, стр. 105-119. Springer, (2003)On Higher Inductive Types in Cubical Type Theory., , и . LICS, стр. 255-264. ACM, (2018)The Paradox of Trees in Type Theory.. BIT, 32 (1): 10-14 (1992)05021 Executive Summary -- Mathematics, Algorithms, Proofs.. Mathematics, Algorithms, Proofs, том 05021 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Intuitionistic Model Constructions and Normalization Proofs., и . Math. Struct. Comput. Sci., 7 (1): 75-94 (1997)A Variation of Reynolds-Hurkens Paradox.. Logics and Type Systems in Theory and Practice, том 14560 из Lecture Notes in Computer Science, стр. 111-117. Springer, (2024)The equivariant model structure on cartesian cubical sets., , , , и . CoRR, (2024)Type Theory with Explicit Universe Polymorphism., , , и . TYPES, том 269 из LIPIcs, стр. 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Concepts Mathématiques et Informatiques Formalisés dans le Calcul des Constructions, и . том 122 из Studies in Logic and the Foundations of Mathematics, стр. 123--146. Elsevier, (1987)