scientific article
From MaRDI portal
Publication:3976029
zbMath0745.03013MaRDI QIDQ3976029
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
Related Items (7)
A semantics for type checking ⋮ Abstract data type systems ⋮ Existential type systems between Church and Curry style (type-free style) ⋮ Domain-Freeλµ-Calculus ⋮ Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus ⋮ Checking Emptiness of Non-Deterministic Regular Types with Set Operators ⋮ Polymorphic type inference for the relational algebra
This page was built for publication:
