Full abstraction for Reduced ML (2009)

First Author: Andrzej Murawski
Attributed to:  Logic of Interaction and Information Flow funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract