A Semantic Account of Type-Directed . . . (1999)

by Andrzej Filinski