Order-enriched sketches for typed lambda calculi (1990)

by J W Gray
Venue:Category Theory, number 1488 in Lecture Notes in Mathematics