The simple semantics for Coppo-Dezani-Sal16 types (1982)

by R Hindley
Venue:Lecture Notes in Computer Science 137