Completeness of Conversion between Reactive Programs for Ultrametric Models

DOI10.1007/978-3-642-38946-7_17zbMath1381.68037OpenAlexW2145339776MaRDI QIDQ5300904

Fer-Jan de Vries, Paula G.Severi

Publication date: 28 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38946-7_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Completeness of Conversion between Reactive Programs for Ultrametric Models