scientific article; zbMATH DE number 3375475
From MaRDI portal
Publication:5646883
zbMath0237.02006MaRDI QIDQ5646883
Publication date: 1972
Full work available at URL: http://www.numdam.org/item?id=CM_1972__24_1_93_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Inductive families ⋮ Another paradox in naive set-theory ⋮ Primitive recursive functional with dependent types ⋮ Closed categories and the theory of proofs ⋮ Completeness of the normal typed fragment of the \(\lambda\)-system \(U\) ⋮ Finite investigations of transfinite derivations ⋮ Theory of proofs (arithmetic and analysis) ⋮ Coalgebras as Types Determined by Their Elimination Rules
Cites Work
This page was built for publication:
