Publication:4116048

zbMath0346.68011MaRDI QIDQ4116048

de Bruijn, N. G.

Publication date: 1973

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q45: Formal languages and automata

68N01: General topics in the theory of software

Related Items

Constructive system for automatic program synthesis, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction