( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Gradual type theory.

, , и . Proc. ACM Program. Lang., 3 (POPL): 15:1-15:31 (2019)

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.

Gaetano Licata

Luana Licata

Theresia Licata

Maria Licata

Daniel R Streett

 

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

Verifying Interactive Web Programs., и . ASE, стр. 164-173. IEEE Computer Society, (2004)A Pronominal Approach to Binding and Computation., , и . TLCA, том 5608 из Lecture Notes in Computer Science, стр. 3-4. Springer, (2009)A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory., , , и . LICS, стр. 565-574. ACM, (2016)Denotational semantics as a foundation for cost recurrence extraction for functional languages., и . J. Funct. Program., (2022)A Formal Logic for Formal Category Theory., и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 113-134. Springer, (2023)A Constructive Model of Directed Univalence in Bicubical Sets., и . LICS, стр. 915-928. ACM, (2020)A universe of binding and computation., и . ICFP, стр. 123-134. ACM, (2009)Adjoint Logic with a 2-Category of Modes., и . LFCS, том 9537 из Lecture Notes in Computer Science, стр. 219-235. Springer, (2016)A Cubical Approach to Synthetic Homotopy Theory., и . LICS, стр. 92-103. IEEE Computer Society, (2015)Gradual type theory., , и . Proc. ACM Program. Lang., 3 (POPL): 15:1-15:31 (2019)