Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and ::::beta::::-Rule - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steffen van Bakel, Franco Barbanera, Maribel Fernández. Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and ::::beta::::-Rule. In Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Volume 1956 of Lecture Notes in Computer Science, pages 41-60, Springer, 1999. [doi]

This author has not been identified. Look up 'Steffen van Bakel' in GoogleThis author has not been identified. Look up 'Franco Barbanera' in GoogleThis author has not been identified. Look up 'Maribel Fernández' in Google

runs on WebDSL