[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, AxelVolume:
10.1007/BF
Year:
1989
Language:
english
DOI:
10.1007/BFb0018353
File:
PDF, 680 KB
english, 1989