Open AccessResource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs
Author(s) -
Ugo Dal Lago,
Francesco Gavazzo
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , equivalence (formal languages) , extensional definition , tuple , copying , operational semantics , transition system , programming language , theoretical computer science , computation , linear logic , algebra over a field , abstraction , semantics (computer science) , mathematics , discrete mathematics , pure mathematics , paleontology , tectonics , political science , law , biology , philosophy , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom