Mode Checking in the Concurrent Logical Framework
- ,
- Jorge Sacchini,
- Frank Pfenning,
- Iliano Cervesato
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 2014
Publication status
Published - 2014
Volume
CMU-CS-14-134Book series
- Book series name: Technical Report Carnegie Mellon University