scientific article; zbMATH DE number 1984522

zbMATH Open1031.03082MaRDI QIDQ4428887

Colin McLarty

Publication date: 22 September 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

effective toposassemblieshigher-order intuitionistic logicKleene realizabilityconstructive recursive analysis

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) First-order arithmetic and fragments (03F30)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ First-order universality for real programs

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Realizability and intuitionistic logic 👍 👎
• Axiomatizing higher-order Kleene realizability 👍 👎
• Axiomatization of a Denotational Semantics for First-order Logic 👍 👎
• Semantics for first-order superposition logic 👍 👎
• Higher-order semantics and extensionality 👍 👎
• A Generalized Realizability and Intuitionistic Logic 👍 👎
• Theoretical Computer Science 👍 👎

This page was built for publication: