Lifting proof-relevant unification to higher dimensions

Thumbnail
Metadata
Show full item record
Authors
Cockx, Jesper; Devriese, Dominique
Conference
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP
Title
Lifting proof-relevant unification to higher dimensions
Publication type
Proceedings paper
Collections