Constructive category theory (2000)

by G Huet, A Säıbi
Venue:Proof, Language, and Interaction: Essays in Honour of Robin Milner