CMU-CS-02-101
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-02-101

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


Keywords:


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
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu