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.

Deliverables: A Categorical Approach to Program Development in Type Theory

The work

AuthorsJ. H. McKinna
Editors
Typephdthesis
Year1992
Citekeymckinna1992deliverables

Where it appeared

SchoolUniversity of Edinburgh

Related

Distinct fromburstall1992deliverables

How it got here

How it got hereagent via bibtex
Added2026-10-25 07:35 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@phdthesis{mckinna1992deliverables,
  title        = {Deliverables: A Categorical Approach to Program Development in Type Theory},
  author       = {J. H. McKinna},
  year         = {1992},
  school       = {University of Edinburgh},
}

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