A two-level logic perspective on (simultaneous) substitutions

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 ◽

10.1145/3167093 ◽

2018 ◽

Author(s):

Kaustuv Chaudhuri

Download Full-text