Relevant Categories and Partial Functions
Publications de l'Institut Mathématique (2007)
- Volume: 82(96), Issue: 102, page 17-23
- ISSN: 0350-1302
Access Full Article
top
How to cite
topKosta Došen, and Zoran Petrić. "Relevant Categories and Partial Functions." Publications de l'Institut Mathématique 82(96).102 (2007): 17-23. <http://eudml.org/doc/258325>.
@article{KostaDošen2007,
author = {Kosta Došen, Zoran Petrić},
journal = {Publications de l'Institut Mathématique},
keywords = {symmetric monoidal closed categories; diagonal natural transformation; intuitionistic relevant logic; partial functions; pointed sets},
language = {eng},
number = {102},
pages = {17-23},
publisher = {Matematički institut SANU},
title = {Relevant Categories and Partial Functions},
url = {http://eudml.org/doc/258325},
volume = {82(96)},
year = {2007},
}
TY - JOUR
AU - Kosta Došen
AU - Zoran Petrić
TI - Relevant Categories and Partial Functions
JO - Publications de l'Institut Mathématique
PY - 2007
PB - Matematički institut SANU
VL - 82(96)
IS - 102
SP - 17
EP - 23
LA - eng
KW - symmetric monoidal closed categories; diagonal natural transformation; intuitionistic relevant logic; partial functions; pointed sets
UR - http://eudml.org/doc/258325
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.