scientific article; zbMATH DE number 3247154
From MaRDI portal
Publication:5533180
zbMath0154.00504MaRDI QIDQ5533180
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Conflation Confers Concurrency ⋮ On extracting variable Herbrand disjunctions ⋮ A short and flexible proof of strong normalization for the calculus of constructions ⋮ Primitive recursive functional with dependent types ⋮ Unnamed Item ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ From constructivism to computer science ⋮ Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) ⋮ Finite notations for infinite terms
This page was built for publication:
