![](/img/cover-not-exists.png)
Selected papers from Dependently Typed Programming 2010 – Overview
ALTENKIRCH, THORSTEN, MCBRIDE, CONORVolume:
26
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129514000097
Date:
January, 2016
File:
PDF, 37 KB
english, 2016