Categories for fixpoint-semantics

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

27 Scopus citations

Original language	English
Article number	4567895
Pages (from-to)	122-126
Number of pages	5
Journal	Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
Volume	1976-October
DOIs	https://doi.org/10.1109/SFCS.1976.4567895
State	Published - 1976
Externally published	Yes
Event	17th Annual Symposium on Foundations of Computer Science, SFCS 1976 - Houston, United States Duration: 25 Oct 1976 → 27 Oct 1976

Access to Document

@article{d15817808b314b2b9c3cf4e22d197269,

title = "Categories for fixpoint-semantics",

author = "Lehmann, \{Daniel J.\}",

year = "1976",

doi = "10.1109/SFCS.1976.4567895",

language = "אנגלית",

volume = "1976-October",

pages = "122--126",

journal = "Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS",

issn = "0272-5428",

publisher = "IEEE Computer Society",

note = "17th Annual Symposium on Foundations of Computer Science, SFCS 1976 ; Conference date: 25-10-1976 Through 27-10-1976",

}

TY - JOUR

T1 - Categories for fixpoint-semantics

AU - Lehmann, Daniel J.

PY - 1976

Y1 - 1976

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

U2 - 10.1109/SFCS.1976.4567895

DO - 10.1109/SFCS.1976.4567895

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:85035039336

SN - 0272-5428

VL - 1976-October

SP - 122

EP - 126

JO - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

JF - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

M1 - 4567895

T2 - 17th Annual Symposium on Foundations of Computer Science, SFCS 1976

Y2 - 25 October 1976 through 27 October 1976

ER -