scientific article; zbMATH DE number 1354138
From MaRDI portal
Publication:4268452
zbMath0924.03027MaRDI QIDQ4268452
Publication date: 31 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Intersection type assignment systems ⋮ Nominal essential intersection types ⋮ Filter models for conjunctive-disjunctive \(\lambda\)-calculi
This page was built for publication:
