scientific article
From MaRDI portal
Publication:3958435
zbMath0495.03012MaRDI QIDQ3958435
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A modal sequent calculus for a fragment of arithmetic ⋮ The well-founded algebras ⋮ A binary modal logic for the intersection types of lambda-calculus. ⋮ Unnamed Item