Hyperintensions as computations

DOI10.1007/S10992-025-09809-3MaRDI QIDQ6904528zbMATH OpenFDO

Authors Ivo Pezlar

Publication date 7 November 2025

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10992-025-09809-3

zbMATH Keywords

executionhyperintensional typed lambda calculushyperintensionalitytransparent intensional logictrivialization

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A judgmental reconstruction of modal logic
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Anatomy of a proposition
• Composition of deductions within the propositions-as-types paradigm
• Computational types from a logical perspective
• Going nowhere and back: is trivialization the same as zero execution?
• Grothendieck Topology as Geometric Modality
• HTLC: hyperintensional typed lambda calculus
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• Hyperintensional logics for everyone
• Hyperintensions for probabilistic computations
• Intensional interpretations of functionals of finite type I
• Is transparent intensional logic a non-classical logic?
• Notions of computation and monads
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Propositional lax logic
• Propositions as [Types]
• The lambda calculus, its syntax and semantics
• The paradox of inference and the non-triviality of analytic information
• Types and programing languages

Cited in

(1)

• Twin procedures, two kinds of variable binding, and two kinds of computation

This page was built for publication: Hyperintensions as computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904528)