scientific article; zbMATH DE number 3567994
From MaRDI portal
Publication:4139647
zbMath0364.68020MaRDI QIDQ4139647
Gerardo Costa, Egidio Astesiano
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item ⋮ Distributive semantics for nondeterministic typed \(\lambda\)-calculi ⋮ The insensitivity theorem for nonreducing reflexive types