Towards a theory of type structure

The work

AuthorsJohn C. Reynolds
Typeinproceedings
Year1974
Citekeyreynolds1974towards

Where it appeared

Published inProgramming Symposium
PublisherSpringer
SeriesLecture Notes in Computer Science
Number in series19
Volume19
Pages408--425

Identifiers

DOI10.1007/3-540-06859-7_148

Settled

Abstractcarried over from `abstract_absent` at the 1.0 migration

A copy is held

pdf, 572.4 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereimport via bibtex
Added2026-08-09 00:00 UTC
Approved bya person 2026-08-24 07:29 UTC

Filed under

lncs the-copy-is-not-the-work what-a-program-means who-paid-for-the-foundations

Cite it as

@inproceedings{reynolds1974towards,
  title        = {Towards a theory of type structure},
  author       = {John C. Reynolds},
  year         = {1974},
  booktitle    = {Programming Symposium},
  volume       = {19},
  pages        = {408--425},
  publisher    = {Springer},
  series       = {Lecture Notes in Computer Science},
  doi          = {10.1007/3-540-06859-7_148},
}

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