( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Bidirectional Refinement Type System for LF.

, и . LFMTP@CADE, том 196 из Electronic Notes in Theoretical Computer Science, стр. 113-128. Elsevier, (2007)

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

Astrid Pfenning

Edith Pfenning

 

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

Proof theory and its role in programming language research.. PLMW@POPL, стр. 4:1. ACM, (2015)Linear logical approximations., и . PEPM, стр. 9-20. ACM, (2009)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)Monadic concurrent linear logic programming., , , и . PPDP, стр. 35-46. ACM, (2005)Session Types with Arithmetic Refinements and Their Application to Work Analysis., и . CoRR, (2020)Verified Linear Session-Typed Concurrent Programming., и . PPDP, стр. 7:1-7:15. ACM, (2020)Automated techniques for provably safe mobile code., , , , и . Theor. Comput. Sci., 290 (2): 1175-1199 (2003)Logical Frameworks.. Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)A Logical Characterization of Forward and Backward Chaining in the Inverse Method., , и . IJCAR, том 4130 из Lecture Notes in Computer Science, стр. 97-111. Springer, (2006)