( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multimodal Dependent Type Theory.

, , , и . LICS, стр. 492-506. ACM, (2020)

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.

A G Class

C A G Charpentier

Robert G A Kurvers

G Charles A Fernando

Robert G A Lotz

 

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

Two-dimensional Kripke Semantics I: Presheaves.. CoRR, (2024)On the Semantics of Intensionality.. FoSSaCS, том 10203 из Lecture Notes in Computer Science, стр. 550-566. (2017)Client-server sessions in linear logic., , и . Proc. ACM Program. Lang., 5 (ICFP): 1-31 (2021)Multimodal Dependent Type Theory., , , и . LICS, стр. 492-506. ACM, (2020)Deeper Shallow Embeddings., , и . ITP, том 237 из LIPIcs, стр. 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Recurrence extraction for functional programs through call-by-push-value., , , и . Proc. ACM Program. Lang., 4 (POPL): 15:1-15:31 (2020)Modalities and Parametric Adjoints., , , , и . ACM Trans. Comput. Log., 23 (3): 18:1-18:29 (2022)Dual-Context Calculi for Modal Logic.. Log. Methods Comput. Sci., (2020)The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time.. CoRR, (2016)Intensionality, Intensional Recursion, and the Gödel-Löb axiom.. CoRR, (2017)