Algebraic models of simple type theories
From MaRDI portal
Publication:5145623
DOI10.1145/3373718.3394771zbMath1498.03039arXiv2006.16949MaRDI QIDQ5145623
Marcelo P. Fiore, Nathanael Arkor
Publication date: 21 January 2021
Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2006.16949
algebraic theory; category theory; polynomial functor; categorical semantics; simple type theory; classifying category; Cartesian multicategory; Lambek correspondence
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
03B40: Combinatory logic and lambda calculus
03B38: Type theory