Sciweavers

CORR
2010
Springer

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

13 years 6 months ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2010
Where CORR
Authors Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
Comments (0)