Compositional Characterizations of lambda-Terms Using Intersection Types.

Mariangiola Dezani-Ciancaglini Furio Honsell Yoko Motohama

Published in: MFCS (2000)

Keyphrases

database
information retrieval
description logics
language constructs