Please use this identifier to cite or link to this item:
Title: Completeness of Conversion between Reactive Programs for Ultrametric Models
Authors: Severi, Paula
de Vries, Fer-Jan
First Published: 28-Jun-2013
Presented at: 11th International Conference on Typed Lambda Calculi and Applications (TLCA), Eindhoven
Start Date: 26-Jun-2013
End Date: 28-Jun-2013
Publisher: Springer Berlin Heidelberg
Citation: Lecture Notes in Computer Science, 2013, 7941, pp. 221-235
Abstract: 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.
DOI Link: 10.1007/978-3-642-38946-7_17
ISSN: 0302-9743
ISBN: 978-3-642-38945-0
eISSN: 1611-3349
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: © 2013, Springer-Verlag Berlin Heidelberg. Deposited with reference to the publisher’s archiving policy available on the SHERPA/RoMEO website. The final publication is available at
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
SeveriDeVriesTLCA2013.pdfPost-review (final submitted)345.02 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.