Formalization of constructivity in Automath

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

No abstract.
Original languageEnglish
Title of host publicationPapers dedicated to J.J. Seidel
EditorsP.J. Doelder, de, J. Graaf, de, J.H. Lint, van
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Pages76-101
Number of pages26
Publication statusPublished - 1984

Publication series

NameEUT-Report
Volume84-WSK-03

Cite this