Mode Checking in the Concurrent Logical Framework

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

Research output: Book / Anthology / Report › Report › Research

Original language	English

Volume	CMU-CS-14-134
Publication status	Published - 2014

Series	Technical Report Carnegie Mellon University

Access to Document

@book{da2251428287493893055a49b8a9ea9a,

title = "Mode Checking in the Concurrent Logical Framework",

author = "Carsten Sch{\"u}rmann and Jorge Sacchini and Frank Pfenning and Iliano Cervesato",

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

year = "2014",

language = "English",

volume = "CMU-CS-14-134",

series = "Technical Report Carnegie Mellon University",

}

TY - RPRT

T1 - Mode Checking in the Concurrent Logical Framework

AU - Schürmann, Carsten

AU - Sacchini, Jorge

AU - Pfenning, Frank

AU - Cervesato, Iliano

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

PY - 2014

Y1 - 2014

M3 - Report

VL - CMU-CS-14-134

T3 - Technical Report Carnegie Mellon University

BT - Mode Checking in the Concurrent Logical Framework

ER -