![](/img/cover-not-exists.png)
[ACM Press the 2013 ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.24-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming - DTP '13 - New equations for neutral terms
Allais, Guillaume, McBride, Conor, Boutillier, PierreYear:
2013
Language:
english
DOI:
10.1145/2502409.2502411
File:
PDF, 494 KB
english, 2013