scientific article; zbMATH DE number 512770
From MaRDI portal
Publication:4281463
zbMath0797.68091MaRDI QIDQ4281463
Publication date: 24 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Principality and type inference for intersection types using expansion variables ⋮ (Head-)normalization of typeable rewrite systems ⋮ Normalization results for typeable rewrite systems ⋮ Type inference for rank-2 intersection types using set unification ⋮ Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ On strong normalization and type inference in the intersection type discipline ⋮ Intersection type assignment systems with higher-order algebraic rewriting ⋮ Approximation and normalization results for typeable term rewriting systems ⋮ Strictness, totality, and non-standard-type inference
Uses Software