( en | de | ru )

 

Disambiguation of "Pfenning, Frank"

Author of the publication

copydeleteadd this publication to your clipboard
System Description: Twelf - A Meta-Logical Framework for Deductive Systems.

, and . CADE, volume 1632 of Lecture Notes in Computer Science, page 202-206. Springer, (1999)

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.

Andreas Pfenning

Ruthard Pfenning

Carolin Pfenning

Edith Pfenning

Astrid Pfenning

 

Other publications of authors with the same name

A Declarative Alternative to Ässert" in Logic Programming., and . ISLP, page 372-386. MIT Press, (1991)Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., and . ML, page 447-449. Morgan Kaufmann, (1989)A Modal Analysis of Staged Computation., and . POPL, page 258-270. ACM Press, (1996)Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic., and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 174-181. Springer, (2008)Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).. APLAS, volume 3302 of Lecture Notes in Computer Science, page 196. Springer, (2004)Functions as Session-Typed Processes., , and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 346-360. Springer, (2012)Natural Semantics and Some of Its Meta-Theory in Elf., and . ELP, volume 596 of Lecture Notes in Computer Science, page 299-344. Springer, (1991)Towards a type theory of contexts.. MERLIN, page 1. ACM, (2005)Invited talk: Tri-Directional Type Checking.. ITRS, volume 70 of Electronic Notes in Theoretical Computer Science, Elsevier, (2002)On equivalence and canonical forms in the LF type theory, and . ACM Trans. Comput. Logic, 6 (1): 61-101 (2005)