On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa.

Bart Jacobs On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. 198-212 1989 conf/ctcs/1989 Category Theory and Computer Science db/conf/ctcs/ctcs89.html#Jacobs89