Operational semantics for positive R

Research output: Contribution to journal › Article › Research › peer-review

24 Citations (Scopus)

Original language	English
Pages (from-to)	61-80
Number of pages	20
Journal	Notre Dame Journal of Formal Logic
Volume	29
Issue number	1
DOIs	https://doi.org/10.1305/ndjfl/1093637771
Publication status	Published - 1 Jan 1988

Access to Document

@article{7e8b7ebca7424d9ca07106d8e2f43ca9,

title = "Operational semantics for positive R",

author = "Humberstone, \{I. L.\}",

year = "1988",

month = jan,

day = "1",

doi = "10.1305/ndjfl/1093637771",

language = "English",

volume = "29",

pages = "61--80",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Notre Dame Journal of Formal Logic",

number = "1",

}

TY - JOUR

T1 - Operational semantics for positive R

AU - Humberstone, I. L.

PY - 1988/1/1

Y1 - 1988/1/1

UR - https://www.scopus.com/pages/publications/84972531279

U2 - 10.1305/ndjfl/1093637771

DO - 10.1305/ndjfl/1093637771

M3 - Article

AN - SCOPUS:84972531279

SN - 0029-4527

VL - 29

SP - 61

EP - 80

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 1

ER -