On the Semantics of Intensionality

DOI10.1007/978-3-662-54458-7_32zbMath1486.03126arXiv1602.01365OpenAlexW2551584072MaRDI QIDQ2988392

G. A. Kavvos

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.01365

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Definitions and generalizations in theory of categories (18A05)

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical simulations
• Introduction to Turing categories
• Realizability. An introduction to its categorical side
• On an intuitionistic modal logic
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• Higher-Order Computability
• Normalization and the Yoneda embedding
• A uniform approach to domain theory in realizability models
• Introduction to generalized type systems
• The Logic of Provability
• Intensionality, Definability and Computation
• On notation for ordinal numbers