Frank Pfenning
Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and head of the Computer Science Department at Carnegie Mellon University. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Frank Pfenning', query time: 0.02s
Refine Results
-
1
Intersections and Unions of Session Types by Coşku Acay, Frank Pfenning
Published 2017-02-01
Article -
2
Rast: A Language for Resource-Aware Session Types by Ankush Das, Frank Pfenning
Published 2022-01-01
Article -
3
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance by William Lovas, Frank Pfenning
Published 2010-12-01
Article -
4
Circular Proofs as Session-Typed Processes: A Local Validity Condition by Farzaneh Derakhshan, Frank Pfenning
Published 2022-05-01
Article