Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction

Sandra Alves. Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. SIGLOG News, 3(4):50-54, 2016. [doi]

Abstract

Abstract is missing.