SeveriDeVriesTLCA2013.pdf (345.02 kB)
Download file

Completeness of Conversion between Reactive Programs for Ultrametric Models

Download (345.02 kB)
conference contribution
posted on 11.06.2013, 10:45 by Paula Severi, Fer-Jan de Vries
In 1970 Friedman proved completeness of beta eta conversion in the simply-typed lambda calculus for the set-theoretical model. Recently Krishnaswami and Benton have captured the essence of Hudak’s reactive programs in an extension of simply typed lambda calculus with causal streams and a temporal modality and provided this typed lambda calculus for reactive programs with a sound ultrametric semantics. We show that beta eta conversion in the typed lambda calculus of reactive programs is complete for the ultrametric model.

History

Citation

Lecture Notes in Computer Science, 2013, 7941, pp. 221-235

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

11th International Conference on Typed Lambda Calculi and Applications (TLCA), Eindhoven

Version

AM (Accepted Manuscript)

Published in

Lecture Notes in Computer Science

Publisher

Springer Berlin Heidelberg

issn

0302-9743

eissn

1611-3349

isbn

978-3-642-38945-0

Copyright date

2013

Available date

28/06/2014

Publisher version

http://link.springer.com/chapter/10.1007/978-3-642-38946-7_17

Temporal coverage: start date

26/06/2013

Temporal coverage: end date

28/06/2013

Language

en

Usage metrics

Categories

Keywords

Exports