Operational semantics for positive R

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)61-80
Number of pages20
JournalNotre Dame Journal of Formal Logic
Volume29
Issue number1
DOIs
Publication statusPublished - 1 Jan 1988

Cite this

@article{7e8b7ebca7424d9ca07106d8e2f43ca9,
title = "Operational semantics for positive R",
author = "Humberstone, {I. L.}",
year = "1988",
month = "1",
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 = "University of Notre Dame",
number = "1",

}

Operational semantics for positive R. / Humberstone, I. L.

In: Notre Dame Journal of Formal Logic, Vol. 29, No. 1, 01.01.1988, p. 61-80.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Operational semantics for positive R

AU - Humberstone, I. L.

PY - 1988/1/1

Y1 - 1988/1/1

UR - http://www.scopus.com/inward/record.url?scp=84972531279&partnerID=8YFLogxK

U2 - 10.1305/ndjfl/1093637771

DO - 10.1305/ndjfl/1093637771

M3 - Article

VL - 29

SP - 61

EP - 80

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

IS - 1

ER -