Kevin E. Flannery Lambda-Calculi with Decidable Cappa-Type Checking. 13-19 1993 conf/icci/1993 ICCI db/conf/icci/icci1993.html#Flannery93