scientific article; zbMATH DE number 3895060

zbMath0562.03032MaRDI QIDQ5187278

de Bruijn, N. G.

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive mathematicsgeometric constructionscomputer semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Geometric constructions in real or complex geometry (51M15) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Proof theory and constructive mathematics (03F99)

Related Items

Telescopic mappings in typed lambda calculus, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction

Uses Software

• Automath