CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD’17) 4 – 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2 - ACM SIGLOG - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-08-03 15:58:10		CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD’17) 4 – 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2 Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 102,15 KB Share Document on Facebook