Intersection Type Assignment Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Steffen van Bakel. Intersection Type Assignment Systems. Theoretical Computer Science, 151(2):385-435, 1995. [doi]

The following publications are possibly variants of this publication:

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly NormalizingSteffen van Bakel. ndjfl, 45(1):35-63, 2004. [doi]

Partial Intersection Type Assignment in Applicative Term Rewriting SystemsSteffen van Bakel. tlca 1993: 29-44

Rank 2 Intersection Type Assignment in Term Rewriting SystemsSteffen van Bakel. FUIN, 26(2):141-166, 1996.

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and ::::beta::::-RuleSteffen van Bakel, Franco Barbanera, Maribel Fernández. TYPES 2000: 41-60 [doi]

runs on WebDSL