A survey of the project Automath

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

131 Downloads (Pure)
Original languageEnglish
Title of host publicationTo H.B. Curry : Essays on combinatory logic, lambda calculus and formalism
EditorsJ.P. Seldin, J.R. Hindley
Place of PublicationNew York
PublisherAcademic Press Inc.
Pages579-606
ISBN (Print)0-12-349050-2
Publication statusPublished - 1980

Cite this