Benedikt Ahrens • Peter LeFanu Lumsdaine

Displayed categories

10.4230/LIPIcs.FSCD.2017.5

in 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)