( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Encoding Abstract Syntax Without Fresh Names.

, и . J. Autom. Reason., 49 (2): 115-140 (2012)

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.

Andrew M Gaskievicz

Reinhard Pittschellis

Elisabeth Pittschieler

Helga Pittschaft

Margit Pittschau

 

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

Bisimulation and Co-induction (Tutorial). LICS, стр. 2-3. (1993)Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?, и . MFCS, том 711 из Lecture Notes in Computer Science, стр. 122-141. Springer, (1993)Models of Type Theory Based on Moore Paths., и . CoRR, (2018)Decomposing the Univalence Axiom., и . TYPES, том 104 из LIPIcs, стр. 6:1-6:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Nominal Presentation of Cubical Sets Models of Type Theory.. TYPES, том 39 из LIPIcs, стр. 202-220. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Encoding Abstract Syntax Without Fresh Names., и . J. Autom. Reason., 49 (2): 115-140 (2012)Locally Nameless Sets.. Proc. ACM Program. Lang., 7 (POPL): 488-514 (января 2023)Nominal Unificaiton., , и . CSL, том 2803 из Lecture Notes in Computer Science, стр. 513-527. Springer, (2003)Full abstraction for nominal Scott domains., и . POPL, стр. 3-14. ACM, (2013)Nominal system T.. POPL, стр. 159-170. ACM, (2010)