scientific article
From MaRDI portal
Publication:3787977
zbMath0645.03012MaRDI QIDQ3787977
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ideal Modelnon-extensional modelssemantics of second order lambda calculusweak extensionality property
Related Items
The theory of semi-functors ⋮ Pre-adjunctions in order enriched categories ⋮ On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa ⋮ Recursion over realizability structures ⋮ Categorical models of polymorphism
This page was built for publication:
