Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
Alessi, Fabio
Artikel
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
Titel
Electronic proceedings in theoretical computer science
Seiten
8-23
Band
307
Heft
Proc. LFMTP 2019
Verlag
EPTCSorg
Ort
[Place of publication not identified]
Erscheinungsjahr
2019
Identifikatoren
ISSN: 2075-2180; eISSN: 2075-2180
Volltextzugriff (PDF)