• Sign in
  • Sign up
conf.researchr.org / Michael Shulman
  • ICFP 2017 profile
  • POPL 2017 profile

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

Share
xSat 23 Jan 18:48
using conf.researchr.org (v1.40.2)
Support page
Sign Up