Pawel Wieczorek

Orcid: 0000-0003-2016-5438

According to our database¹, Pawel Wieczorek authored at least 1 paper in 2018.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2018

A Coq formalization of normalization by evaluation for Martin-Löf type theory.

[DOI]

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018