Computer Science Department
School of Computer Science, Carnegie Mellon University
A Concurrent Logical Framework II:
Examples and App.ications
Iliano Cervesato*, Frank Pfenning, David Walker**, Kevin Watkins
March 2002 (Revised May 2003)
CMU-CS-02-102.ps
CMU-CS-02-102.pdf
pages
*AES Division, ITT Industries, Inc., Alexandria, VA 22303-1410 **David Walker, Computer Science Department, Princeton University, Princeton, NJ 08544
Return to:
SCS Technical Report Collection This page maintained by reports@cs.cmu.edu
School of Computer Science homepage