scientific article; zbMATH DE number 515743
From MaRDI portal
Publication:4283246
zbMath0795.03100MaRDI QIDQ4283246
John C. Mitchell, Andrej Scedrov
Publication date: 10 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages, Linear Läuchli semantics, Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, The essence of parallel Algol., Divergences on monads for relational program logics, Relative full completeness for bicategorical Cartesian closed structure, Correctness of automatic differentiation via diffeologies and categorical gluing, Bifibrational functorial semantics of parametric polymorphism, A characterization of lambda definability in categorical models of implicit polymorphism, Relating Computational Effects by ⊤ ⊤-Lifting, Codensity Lifting of Monads and its Dual, Cryptographic logical relations, The Functional Interpretation of Direct Computations, Unnamed Item, Unnamed Item, Natural Deduction for Equality: The Missing Entity, Formal parametric polymorphism