Description of the language Automath

N.G. de Bruijn

Research output: Book/ReportReportPopular

55 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages16
Publication statusPublished - 1967

Cite this