Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types

Vincent Rahli, Mark Bickford, Abhishek Anand

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Citations (Scopus)

Original language	English
Title of host publication	Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Pages	261-278
Number of pages	18
DOIs	https://doi.org/10.1007/978-3-642-39634-220
Publication status	Published - 2013

Access to Document

@inproceedings{8dd34415329d42439106a1ad140ee7fd,

title = "Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types",

author = "Vincent Rahli and Mark Bickford and Abhishek Anand",

year = "2013",

doi = "10.1007/978-3-642-39634-220",

language = "English",

pages = "261--278",

booktitle = "Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings",

}

TY - GEN

T1 - Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types

AU - Rahli, Vincent

AU - Bickford, Mark

AU - Anand, Abhishek

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-39634-220

DO - 10.1007/978-3-642-39634-220

M3 - Conference contribution

SP - 261

EP - 278

BT - Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

ER -