Author of the publication

Deeper Shallow Embeddings.

, , and . ITP, volume 237 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multimodal Dependent Type Theory., , , and . Log. Methods Comput. Sci., (2021)Syllepsis in Homotopy Type Theory., and . LICS, page 29:1-29:12. ACM, (2022)Dual-context calculi for modal logic.. LICS, page 1-12. IEEE Computer Society, (2017)On the Semantics of Intensionality.. FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 550-566. (2017)Multimodal Dependent Type Theory., , , and . LICS, page 492-506. ACM, (2020)Deeper Shallow Embeddings., , and . ITP, volume 237 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)