THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS

DOI10.1017/bsl.2021.61OpenAlexW4214718123MaRDI QIDQ5037523

Per Martin-Löf

Publication date: 1 March 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.61

zbMATH Keywords

constructive type theorycomputationidentitysense and reference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

Meaning and computing: two approaches to computable propositions ⋮ Spiritus asper versus lambda: on the nature of functional abstraction

Cites Work

• SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
• Unnamed Item
• Unnamed Item

This page was built for publication: THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS