No Cover Image

Conference Paper/Proceeding/Abstract 18 views

LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic / Pierre Pradic, Colin Riba

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Swansea University Author: Pierre Pradic

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1145/3209108.3209195

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: College of Science