The syntax of Pal and Automath

N.G. de Bruijn

Research output: Book/ReportReportPopular

42 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages1
Publication statusPublished - 1970

Bibliographical note

Notitie 1970/32

Cite this