Output details
11 - Computer Science and Informatics
Swansea University
Return to search
Output 0 of 0 in the submission
Article title
Realisability for Induction and Coinduction with Applications to Constructive Analysis
Type
D - Journal article
Title of journal
Journal of Universal Computer Science
Article number
-
Volume number
16
Issue number
18
First page of article
2535
ISSN of journal
0948-6968
Year of publication
2010
URL
-
Number of additional authors
0
Additional information
<11> This paper is the first to prove soundness for program extraction extended by strictly positive induction and coinduction, which were introduced in our REF output "From coinductive proofs to exact real arithmetic: theory and applications". Both papers together led to the successful collaborative research grant applications COMPUTAL (Computable Analysis - Theoretical and Applied Aspects, FP7 - Marie Curie Actions - PIRSES-GA-2011-294962, 2012-2015) and CORCON (Correctness by Construction - FP7- Marie Curie Actions - PIRSES-GA-2013-612638, 2014-2017).
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-