Algebraic models of simple type theories

DOI10.1145/3373718.3394771zbMath1498.03039arXiv2006.16949OpenAlexW4288080212MaRDI QIDQ5145623

Nathanael Arkor, Marcelo P. Fiore

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

zbMATH Keywords

algebraic theorycategory theorypolynomial functorcategorical semanticssimple type theoryclassifying categoryCartesian multicategoryLambek correspondence

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items (3)

A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL

This page was built for publication: Algebraic models of simple type theories