Author:Frank Pfenning

Publications
Type-Based Termination for Futures Siva Somayyajula and Frank Pfenning EasyChair Preprint no. 8625
Possession as Linear Knowledge Frank Pfenning In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility