![](/img/cover-not-exists.png)
[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - The next 700 syntactical models of type theory
Boulier, Simon, Pédrot, Pierre-Marie, Tabareau, NicolasYear:
2017
Language:
english
DOI:
10.1145/3018610.3018620
File:
PDF, 238 KB
english, 2017