( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.

, , , и . FLAP, 4 (10): 3127-3170 (2017)

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

 

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

A Short Proof for the Krull Dimension of a Polynomial Ring., и . The American Mathematical Monthly, 112 (9): 826-829 (2005)Alfa/Agda.. The Seventeen Provers of the World, том 3600 из Lecture Notes in Computer Science, Springer, (2006)The Paradox of Trees in Type Theory.. BIT, 32 (1): 10-14 (1992)On Higher Inductive Types in Cubical Type Theory., , и . LICS, стр. 255-264. ACM, (2018)Preface to the special issue for The Fifth Workshop on Formal Topology., , и . J. Logic & Analysis, (2019)A Logical Framework with Dependently Typed Records., , и . TLCA, том 2701 из Lecture Notes in Computer Science, стр. 105-119. Springer, (2003)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)Another Proof of the Intuitionistic Ramsey Theorem.. Theor. Comput. Sci., 115 (1): 63-75 (1993)Reduction Free Normalisation for a proof irrelevant type of propositions.. Log. Methods Comput. Sci., (2023)Canonicity and homotopy canonicity for cubical type theory., , и . Log. Methods Comput. Sci., (2022)