Publications

Session Types as Intuitionistic Linear Propositions

AuthID
P-003-AGN

Author(s)

Caires, L

Pfenning, F

Editor(s)

Gastin, P; Laroussinie, F

Document Type

Proceedings Paper

Year published

2010

Published

in CONCUR 2010 - CONCURRENCY THEORY in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6269, Pages: 222-236 (15)

Conference

21St Conference on Concurrency Theory, Date: AUG 31-SEP 03, 2010, Location: Paris, FRANCE, Sponsors: CNRS, INRIA, ENS Cachan, Univ Denis Diderot, Host: Univ Denis Diderot

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/109077

Crossref^®129

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-15375-4_16

DBLP: conf/concur/CairesP10

SCOPUS: 2-s2.0-78249240348

Wos: WOS:000285373500016

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Session Types as Intuitionistic Linear Propositions

Useful Links

Get Help

Federated Authentication (Click on the image)

Session Types as Intuitionistic Linear Propositions

Useful Links

Get Help