Interaction Automata and the ia2d Interpreter
From MaRDI portal
Publication:5369501
DOI10.4230/LIPICS.FSCD.2016.35zbMATH Open1387.68112OpenAlexW2504041617MaRDI QIDQ5369501
Stéphane Gimenez, David Obwaller
Publication date: 17 October 2017
Full work available at URL: https://dblp.uni-trier.de/db/conf/rta/fscd2016.html#GimenezO16
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18)
This page was built for publication: Interaction Automata and the ia2d Interpreter
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5369501)