Notes on Sconing and Relators

@inproceedings{Mitchell1992NotesOS,
  title={Notes on Sconing and Relators},
  author={John C. Mitchell and Andre Scedrov},
  booktitle={CSL},
  year={1992}
}

• John C. Mitchell, Andre Scedrov
• Published in CSL 1992
• DOI:10.1007/3-540-56992-8_21

View via Publisher

Save to Library

Create Alert

Cite

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.