A Computable Solution to Partee’s Temperature Puzzle
From MaRDI portal
Publication:2964003
DOI10.1007/978-3-662-53826-5_11zbMath1485.03069OpenAlexW2554316162MaRDI QIDQ2964003
Publication date: 22 February 2017
Published in: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-53826-5_11
Cites Work
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
- Recursion on the countable functionals
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Natural language semantics and computability
- Higher-Order Computability
- A relational formulation of the theory of types
- Computational Semantics with Functional Programming
- A Constructive Model of Uniform Continuity
- Hyperintensions
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Modified bar recursion
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item