Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frank Pfenning
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
Proceedings - IEEE International Conference on Robotics and Automation
Control
Systems Engineering
Electronic Engineering
Electrical
Artificial Intelligence
Software
Primitive Recursion for Higher-Order Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Logical Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Proving Syntactic Properties of CPS Programs
BRICS Report Series
Program Development Through Proof Transformation
Contemporary Mathematics
Mathematics
Partial Polymorphic Type Inference and Higher-Order Unification
An Authorization Logic With Explicit Time
Run-Time Code Generation and Modal-Ml
The Fox Project: Advanced Language Technology for Extensible Systems
1
2
›
