scientific article; zbMATH DE number 3558918
From MaRDI portal
Publication:4130957
zbMath0358.68015MaRDI QIDQ4130957
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A mathematical semantics for a nondeterministic typed lambda-calculus ⋮ Program equivalence and context-free grammars ⋮ On the Yoneda completion of a quasi-metric space
This page was built for publication: