Mode Checking in the Concurrent Logical Framework

Carsten Schürmann, Jorge Sacchini, Frank Pfenning, Iliano Cervesato

Research output: Book / Anthology / Report / Ph.D. thesisReport

Original languageEnglish
VolumeCMU-CS-14-134
Publication statusPublished - 2014
SeriesTechnical Report Carnegie Mellon University

Cite this