( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programming and Reasoning with Guarded Recursion for Coinductive Types.

, , , и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 407-421. Springer, (2015)

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.

Ales Stanek

Beat Alessandri

Davide Alessio

Ales Rekar

Ales Sobota

 

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

Guarded Cubical Type Theory., , , , , и . J. Autom. Reason., 63 (2): 211-253 (2019)Denotational semantics for guarded dependent type theory., и . CoRR, (2018)Guarded Dependent Type Theory with Coinductive Types., , , , и . FoSSaCS, том 9634 из Lecture Notes in Computer Science, стр. 20-35. Springer, (2016)A model of guarded recursion via generalised equilogical spaces., и . Theor. Comput. Sci., (2018)Programming and Reasoning with Guarded Recursion for Coinductive Types., , , и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 407-421. Springer, (2015)Iron: managing obligations in higher-order concurrent separation logic., , , и . Proc. ACM Program. Lang., 3 (POPL): 65:1-65:30 (2019)A Model of Countable Nondeterminism in Guarded Type Theory., , и . RTA-TLCA, том 8560 из Lecture Notes in Computer Science, стр. 108-123. Springer, (2014)Denotational semantics for guarded dependent type theory., и . Math. Struct. Comput. Sci., 30 (4): 342-378 (2020)Guarded Cubical Type Theory: Path Equality for Guarded Recursion., , , , , и . CSL, том 62 из LIPIcs, стр. 23:1-23:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Step-Indexed Logical Relations for Probability., и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 279-294. Springer, (2015)