Output details
11 - Computer Science and Informatics
University of Leicester
Output title
Completeness of Conversion between Reactive Programs for Ultrametric Models
Type
E - Conference contribution
Name of conference/published proceedings
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013.
Volume number
LNCS 7941
Issue number
-
First page of article
221
ISSN of proceedings
0302-9743
Year of publication
2013
Number of additional authors
1
Additional information
<10>Krishnaswami and Benton (ICFP2011, LICS 2011) introduced the typed lambda calculus of reactive programs and showed soundness, leaving the question of completeness open.
This paper demonstrates that Friedman's theorem "simple typed lambda calculus is complete for set-theoretical model" can be lifted to
the typed lambda calculus of reactive programs by considering the ultra-metric model instead.
The paper led to an invitation to the authors to visit Larse Birkedal, which the first author accepted.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
