scientific article
From MaRDI portal
Publication:3138546
zbMath0792.03009MaRDI QIDQ3138546
Publication date: 11 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial equivalence relationsfibrationrealizability toposPER modelscategory of modest setsmodel of a polymorphic \(\lambda\)-calculus with subtypes and bounded quantificationsynthetic domains
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40)
Related Items (3)
A proposed categorical semantics for ML modules ⋮ Building domains from graph models ⋮ Proving strong normalization of CC by modifying realizability semantics
This page was built for publication:
