Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/87167
-
Titel: 
Par means parallel: multiplicative linear logic proofs as concurrent functional programs"
en
Zitat: 
Aschieri, F., & Genco, F. A. (2020). Par means parallel: multiplicative linear logic proofs as concurrent functional programs". Proceedings of the ACM on Programming Languages, 4(POPL), 1–28. https://doi.org/10.1145/3371086
-
Verlags-DOI: 
10.1145/3371086
-
Publikationstyp: 
Artikel - Forschungsartikel
de
Sprache: 
Englisch
-
Autor_innen: 
Aschieri, Federico 
Genco, Francesco A. 
-
Organisations­einheit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Zeitschrift: 
Proceedings of the ACM on Programming Languages 
-
Datum (veröffentlicht): 
2020
-
Umfang: 
28
-
Verlag: 
Association for Computing Machinery (ACM)
-
Peer Reviewed: 
Ja
-
Keywords: 
Software; Safety, Risk, Reliability and Quality
-
Forschungs­schwerpunkte: 
Computer Science Foundations: 100%
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Article

Zur Langanzeige

Seiten Aufrufe

204
aufgerufen am 23.11.2023

Google ScholarTM

Check