Detail

Publication date: 28 de March, 2022

On Polymorphic Sessions and Functions – A Tale of Two (Fully Abstract) Encodings


Publisher Springer
Volume 10801
Pub. Date 14/04/2018