Mode Checking in the Concurrent Logical Framework
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
| Original language | English |
|---|
| Volume | CMU-CS-14-134 |
|---|---|
| Publication status | Published - 2014 |
| Series | Technical 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