ITU

Mode Checking in the Concurrent Logical Framework

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

View graph of relations

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

Bibliographical note

Incomplete publication channel, probably an internal CMU report (jcg: 26/11/14)
Link added /PFOR 06-01-2015

ID: 78906416