conf.researchr.org / Michael Shulman

Registered user since Fri 18 Nov 2016

Name: Michael Shulman

Contributions

FSCD 2017 Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track
CPP 2017 Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track