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) - abstraction , computer science , order (exchange) , resource (disambiguation) , transition (genetics) , programming language , chemistry , computer network , philosophy , biochemistry , epistemology , finance , economics , gene