On Semantics of a Term Calculus for Classical Logic
Silvia Likavec; Pierre Lescanne
Publications de l'Institut Mathématique (2012)
- Volume: 92(106), Issue: 112, page 79-95
- ISSN: 0350-1302
Access Full Article
top
How to cite
topSilvia Likavec, and Pierre Lescanne. "On Semantics of a Term Calculus for Classical Logic." Publications de l'Institut Mathématique 92(106).112 (2012): 79-95. <http://eudml.org/doc/256499>.
@article{SilviaLikavec2012,
author = {Silvia Likavec, Pierre Lescanne},
journal = {Publications de l'Institut Mathématique},
keywords = {lambda calculus; confluence; continuation semantics},
language = {eng},
number = {112},
pages = {79-95},
publisher = {Matematički institut SANU},
title = {On Semantics of a Term Calculus for Classical Logic},
url = {http://eudml.org/doc/256499},
volume = {92(106)},
year = {2012},
}
TY - JOUR
AU - Silvia Likavec
AU - Pierre Lescanne
TI - On Semantics of a Term Calculus for Classical Logic
JO - Publications de l'Institut Mathématique
PY - 2012
PB - Matematički institut SANU
VL - 92(106)
IS - 112
SP - 79
EP - 95
LA - eng
KW - lambda calculus; confluence; continuation semantics
UR - http://eudml.org/doc/256499
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.