LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
| Date first appeared online | 09/07/2018 |
| DOI | 10.1145/3209108.3209195 |
| Authors | Pradic C. |
| Journal Name | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science |
| Volume |