Output details
11 - Computer Science and Informatics
University of Edinburgh
Return to search
Output 0 of 0 in the submission
Output title
Continuous Truth II: Reflections
Type
E - Conference contribution
Name of conference/published proceedings
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Volume number
8071
Issue number
-
First page of article
153
ISSN of proceedings
0302-9743
Year of publication
2013
Number of additional authors
0
Additional information
<11> Originality: The main theorem introduces a new tool for the analysis of iterated sheaf models - a rich family of models for constructive mathematics.
Significance: An essentially category-theoretic analysis of a general class of sheaf models provides information about the logic of functional types. Such analysis has philosophical interest, but also practical significance: it provides a new tool for extracting proof-theoretic and effective content from sheaf models.
Rigour: This is a rigorous, constructive mathematical analysis.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Institute for Language, Cognition & Computation
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-