Record link: 
http://hdl.handle.net/20.500.12708/87167
-
Title: 
Par means parallel: multiplicative linear logic proofs as concurrent functional programs"
en
Citation: 
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
-
Publisher DOI: 
10.1145/3371086
-
Publication Type: 
Article - Original Research Article
en
Language: 
English
-
Authors: 
Aschieri, Federico 
Genco, Francesco A. 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Journal: 
Proceedings of the ACM on Programming Languages 
-
Date (published): 
2020
-
Number of Pages: 
28
-
Publisher: 
Association for Computing Machinery (ACM)
-
Peer reviewed: 
Yes
-
Keywords: 
Software; Safety, Risk, Reliability and Quality
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Article

Show full item record

Page view(s)

147
checked on Nov 23, 2023

Google ScholarTM

Check