scientific article
From MaRDI portal
Publication:3138539
zbMath0783.18003MaRDI QIDQ3138539
Edmund P. Robinson, Giuseppe Rosolini, Peter J. Freyd
Publication date: 18 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polymorphismpartial equivalence relationseffective toposdinatural transformationssecond-order lambda calculusuniform families of maps between realizable functors on PER's
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Parametricity as isomorphism ⋮ Linear Läuchli semantics ⋮ A note on ``Extensional PERs ⋮ Composing dinatural transformations: towards a calculus of substitution ⋮ On Compositionality of Dinatural Transformations
This page was built for publication:
