Extracting constructive content from classical logic via control-like reductions (1993)
by
Franco Barbanera
,
Stefano Berardi
| Venue: | In Bezem and Groote [12 |
| Citations: | 28 - 1 self |
BibTeX
@INPROCEEDINGS{Barbanera93extractingconstructive,
author = {Franco Barbanera and Stefano Berardi},
title = {Extracting constructive content from classical logic via control-like reductions},
booktitle = {In Bezem and Groote [12},
year = {1993},
pages = {45--59},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
