Computer Science Department
School of Computer Science, Carnegie Mellon University
Mode Checking in the Concurrent Logical Framework
Jorge Luis Sacchini*, Iliano Cervesato*, Frank Pfenning**, Carsten Schümann***
Also appears as Qatar Campus Technical Report
We define and prove correct a mode checker for a significant fragment of the concurrent logical framework CLF.
*Computer Science Department, Carnegie Mellon University, Qatar Campus