Benedikt Ahrens • Peter LeFanu Lumsdaine
Displayed categories
10.4230/LIPIcs.FSCD.2017.5in 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
Benedikt Ahrens • Peter LeFanu Lumsdaine
in 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)