( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified Linear Session-Typed Concurrent Programming.

, и . PPDP, стр. 7:1-7:15. 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.

Andreas Pfenning

Ruthard Pfenning

Carolin Pfenning

Edith Pfenning

Astrid Pfenning

 

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

On the Unification Problem for Cartesian Closed Categories., , и . J. Symb. Log., 62 (2): 636-647 (1997)A monadic analysis of information flow security with mutable state., , и . J. Funct. Program., 15 (2): 249-291 (2005)Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems., и . ICRA, стр. 3705-3710. IEEE, (2007)Linear logical approximations., и . PEPM, стр. 9-20. ACM, (2009)Monadic concurrent linear logic programming., , , и . PPDP, стр. 35-46. ACM, (2005)Editorial., , и . ACM Trans. Comput. Log., 3 (3): 335-335 (2002)Contextual modal type theory., , и . ACM Trans. Comput. Log., 9 (3): 23:1-23:49 (2008)Proof theory and its role in programming language research.. PLMW@POPL, стр. 4:1. ACM, (2015)The Practice of Logical Frameworks.. CAAP, том 1059 из Lecture Notes in Computer Science, стр. 119-134. Springer, (1996)On a Logical Foundation for Explicit Substitutions.. TLCA, том 4583 из Lecture Notes in Computer Science, стр. 1. Springer, (2007)