Linearly Refined Session Types

AuthID
P-008-NEZ
3
Author(s)
Baltazar, P
·
Mostrous, D
·
2
Editor(s)
Sandra Alves; Ian Mackie
Document Type
Proceedings Paper
Year published
2012
Published
in Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. in EPTCS, ISSN: 2075-2180
Volume: 101, Pages: 38-49
Indexing
Publication Identifiers
Dblp: journals/corr/abs-1211-4099
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.