Notes on Sconing and Relators

John C. Mitchell, Andre Scedrov

Abstract: 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.