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.
The formulas-as-types notion of construction
The work
| Authors | W Howard |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1980 |
| Citekey | howard1980formulasastypes |
Where it appeared
| Published in | To H B Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism |
|---|---|
| Publisher | Academic press |
| Pages | 470--490 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-25 06:31 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{howard1980formulasastypes,
title = {The formulas-as-types notion of construction},
author = {W Howard},
year = {1980},
booktitle = {To H B Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism},
publisher = {Academic press},
pages = {470--490},
}
This record lives at https://refs.drheap.org/howard1980formulasastypes/ and will keep doing so.