Conference Paper/Proceeding/Abstract 819 views
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
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 |
College: |
Faculty of Science and Engineering |
---|