Types for trees

14 years 1 months ago

We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B

Franco Barbanera, Mariangiola Dezani-Ciancaglini,

Corresponding Tree Representation | L´evy-Longo Trees | PROCOMET 1998 | Programming Languages | Type Assignment |

claim paper

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	PROCOMET
Authors	Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries

Comments (0)