Mode Checking in the Concurrent Logical Framework

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

Publikation: Bog / Antologi / RapportRapportForskning

OriginalsprogEngelsk
Vol/bindCMU-CS-14-134
StatusUdgivet - 2014
NavnTechnical Report Carnegie Mellon University

Citationsformater