# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.