Mode Checking in the Concurrent Logical Framework

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

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

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

Citationsformater