Contributed talk TYPES 2015: "Towards a theory of higher inductive types"

  • Nordvall Forsberg, F. (Contributor)
  • Thorsten Altenkirch (Contributor)
  • Paolo Capriotti (Contributor)
  • Gabe Dijkstra (Speaker)

Activity: Talk or presentation types › Oral presentation

Period20 May 2015
Event title21st International Conference on Types for Proofs and Programs
Event typeConference
LocationTallinn, EstoniaShow on map