Open AccessA reactive operational semantics for a lambda-calculus with time warps
Author(s) -
Adrien Guatto,
Christine Tasson,
Ada Vienot
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - church encoding , typed lambda calculus , operational semantics , calculus (dental) , lambda calculus , semantics (computer science) , programming language , computer science , lambda , simply typed lambda calculus , algebra over a field , mathematics , pure mathematics , physics , medicine , dentistry , optics