The use of the language Automath for syntax and semantics of programming languages

N.G. Bruijn, de

Research output: Book/ReportReportPopular

32 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages17
Publication statusPublished - 1975

Bibliographical note

Preliminary report

Cite this

Bruijn, de, N. G. (1975). The use of the language Automath for syntax and semantics of programming languages. Eindhoven: Technische Universiteit Eindhoven.
Bruijn, de, N.G. / The use of the language Automath for syntax and semantics of programming languages. Eindhoven : Technische Universiteit Eindhoven, 1975. 17 p.
@book{56aaef6842bc4689b32df483c12ef57c,
title = "The use of the language Automath for syntax and semantics of programming languages",
author = "{Bruijn, de}, N.G.",
note = "Preliminary report",
year = "1975",
language = "English",
publisher = "Technische Universiteit Eindhoven",

}

Bruijn, de, NG 1975, The use of the language Automath for syntax and semantics of programming languages. Technische Universiteit Eindhoven, Eindhoven.

The use of the language Automath for syntax and semantics of programming languages. / Bruijn, de, N.G.

Eindhoven : Technische Universiteit Eindhoven, 1975. 17 p.

Research output: Book/ReportReportPopular

TY - BOOK

T1 - The use of the language Automath for syntax and semantics of programming languages

AU - Bruijn, de, N.G.

N1 - Preliminary report

PY - 1975

Y1 - 1975

M3 - Report

BT - The use of the language Automath for syntax and semantics of programming languages

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Bruijn, de NG. The use of the language Automath for syntax and semantics of programming languages. Eindhoven: Technische Universiteit Eindhoven, 1975. 17 p.