scientific article; zbMATH DE number 1342278
From MaRDI portal
Publication:4263868
zbMath0929.18004MaRDI QIDQ4263868
Marcelo P. Fiore, Alex K. Simpson
Publication date: 21 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
definabilitysimply-typed lambda calculusGrothendieck logical relationstable bicartesian closed categories
Categorical logic, topoi (03G30) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items
Semantic analysis of normalisation by evaluation for typed lambda calculus, Galois connecting call-by-value and call-by-name, Relative full completeness for bicategorical Cartesian closed structure, A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators, Unnamed Item, A relational account of call-by-value sequentiality, Pointers in Recursion: Exploring the Tropics
