Computer Science Department
School of Computer Science, Carnegie Mellon University
A Concurrent Logical Framework I:
Judgments and Properties
Kevin Watkins, Iliano Cervesato*, Frank Pfenning, David Walker**
March 2002 (Revised May 2003)
CMU-CS-02-101.ps
CMU-CS-02-101.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