Conference Paper/Proceeding/Abstract 637 views
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
Cécilia Pradic 
,
Colin Riba
,
Colin Riba
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Swansea University Author:
Cécilia Pradic
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1145/3209108.3209195
Abstract
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
| Published in: | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science |
|---|---|
| ISBN: | 978-1-4503-5583-4 |
| Published: |
New York, NY, USA
ACM
2018
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58115 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|