Mathematically Structured Functional Programming 2016

Activity: Participating in or organising an event typesKey-note speaker and plenary lectures at conferences

Description

Mathematically Structured Functional Programming: "Higher inductive types in Homotopy Type Theory: applications and theory"
Period8 Apr 2016
Event typeWorkshop