A reactive operational semantics for a lambda-calculus with time warps - Trente-Troisièmes Journées Francophones des Langages Applicatifs Access content directly
Conference Papers Year :

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

Fichier principal
Vignette du fichier
jfla22-submit.pdf (978.87 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03465519 , version 1 (02-04-2022)

Identifiers

  • HAL Id : hal-03465519 , version 1

Cite

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⟩
255 View
113 Download

Share

Gmail Facebook Twitter LinkedIn More