Skip to Main content Skip to Navigation
Conference papers

A reactive operational semantics for a lambda-calculus with time warps

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03465519
Contributor : Ada Vienot Connect in order to contact the contributor
Submitted on : Saturday, April 2, 2022 - 5:57:44 PM
Last modification on : Friday, August 5, 2022 - 12:00:32 PM
Long-term archiving on: : Sunday, July 3, 2022 - 6:19:34 PM

File

jfla22-submit.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03465519, version 1

Citation

Adrien Guatto, Christine Tasson, Ada Vienot. A reactive operational semantics for a lambda-calculus with time warps. Journées Francophones des Langages Applicatifs - JFLA 2022, Feb 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03465519⟩

Share

Metrics

Record views

183

Files downloads

28