Title: Pattern matching in homotopy type theory (student talk)
Authors: Cockx, Jesper # ×
Issue Date: 19-Jun-2014
Conference: Oregon Programming Languages Summer School location:Eugene, OR date:16-28 June 2014
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.


All items in Lirias are protected by copyright, with all rights reserved.