On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261)
From MaRDI portal
scientific article; zbMATH DE number 7572043
Language | Label | Description | Also known as |
---|---|---|---|
English | On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa |
scientific article; zbMATH DE number 7572043 |
Statements
On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (English)
0 references
16 August 2022
0 references