The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A Category-Theoretic Approach to the Semantics of Programming Languages

The work

AuthorsF. J. Oles
Editors
Typephdthesis
Year1982
Citekeyoles1982categorytheoretic

Where it appeared

SchoolSyracuse University

How it got here

How it got hereagent via bibtex
Added2026-10-24 05:45 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

what-a-program-means

Cite it as

@phdthesis{oles1982categorytheoretic,
  title        = {A Category-Theoretic Approach to the Semantics of Programming Languages},
  author       = {F. J. Oles},
  year         = {1982},
  school       = {Syracuse University},
}

This record lives at https://refs.drheap.org/oles1982categorytheoretic/ and will keep doing so.