A New Presentation of the Intersection Type Discipline Through Principal Typings of Normal Forms (1996)

by Émilie Sayag , Michel Mauny
Citations:8 - 0 self