Order-enriched sketches for typed lambda calculi. InCategory Theory (0)

by John W Gray
Venue:of Lecture