Contributed talk TYPES 2018: "Specifying quotient inductive-inductive types"

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

Activity: Talk or presentation types › Oral presentation

Period21 Jun 2018
Event title24th International Conference on Types for Proofs and Programs
Event typeConference
LocationBraga, PortugalShow on map
Degree of RecognitionInternational