The integration of logical and algebraic types (1989)

by J W Gray
Venue:Categorical Methods in Computer Science (with Aspects from Topology), number 393 in Lecture Notes in Computer Science