Light Functional Interpretation (2005)
by
Mircea-dan Hernest
| Venue: | Lecture Notes in Computer Science, 3634:477 – 492, July 2005. Computer Science Logic: 19th International Workshop, CSL |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Hernest05lightfunctional,
author = {Mircea-dan Hernest},
title = {Light Functional Interpretation},
booktitle = {Lecture Notes in Computer Science, 3634:477 – 492, July 2005. Computer Science Logic: 19th International Workshop, CSL},
year = {2005},
pages = {477}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
an optimization of Gödel’s technique towards the extraction of (more) efficient programs from (classical) proofs
