zbMATH — the first resource for mathematics

Notes on sconing and relators. (English) Zbl 0795.03100
Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 352-378 (1993).
Summary: This paper describes a semantics of typed lambda calculi based on relations. The main mathematical tool is a category-theoretic method of sconing, also called glueing or Freyd covers. Its correspondence to logical relations is also examined.
For the entire collection see [Zbl 0852.00039].

03G30 Categorical logic, topoi
03B40 Combinatory logic and lambda calculus
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)