A reactive operational semantics for a lambda-calculus with time warps - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03465519 , version 1

Citer

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⟩
279 Consultations
145 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More