Computational Interrpretations of Logics
Silvia Ghilezan; Silvia Likavec
Zbornik Radova (2009)
- Issue: 20, page 159-215
- ISSN: 0351-9406
Access Full Article
top
How to cite
topSilvia Ghilezan, and Silvia Likavec. "Computational Interrpretations of Logics." Zbornik Radova (2009): 159-215. <http://eudml.org/doc/257092>.
@article{SilviaGhilezan2009,
author = {Silvia Ghilezan, Silvia Likavec},
journal = {Zbornik Radova},
keywords = {lambda-calculus; intuitionistic logic; classical logic; natural deduction; sequent calculus; Curry-Howard correspondence; functional programming; object-oriented programming},
language = {eng},
number = {20},
pages = {159-215},
publisher = {Matematički institut SANU},
title = {Computational Interrpretations of Logics},
url = {http://eudml.org/doc/257092},
year = {2009},
}
TY - JOUR
AU - Silvia Ghilezan
AU - Silvia Likavec
TI - Computational Interrpretations of Logics
JO - Zbornik Radova
PY - 2009
PB - Matematički institut SANU
IS - 20
SP - 159
EP - 215
LA - eng
KW - lambda-calculus; intuitionistic logic; classical logic; natural deduction; sequent calculus; Curry-Howard correspondence; functional programming; object-oriented programming
UR - http://eudml.org/doc/257092
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.