Publications

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication

AuthID
P-008-BZ5

Author(s)

DeYoung, H

Caires, L

Pfenning, F

Toninho, B

Editor(s)

Patrick Cégielski; Arnaud Durand

Document Type

Proceedings Paper

Year published

2012

Published

in Leibniz International Proceedings in Informatics, LIPIcs in LIPIcs, ISSN: 1868-8969

Volume: 16, Pages: 228-242

Conference

26Th International Workshop on Computer Science Logic, Csl 2012/21St Annual Conference of the European Association for Computer Science Logic, Eacsl, Date: 3 September 2012 through 6 September 2012, Location: Fontainebleau

Indexing

Scopus^®

Dblp^®/en/publications/view/274405

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.4230/lipics.csl.2012.228

Dblp: conf/csl/DeYoungCPT12

Scopus: 2-s2.0-84880191863

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication

Useful Links

Get Help

Federated Authentication (Click on the image)

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication

Useful Links

Get Help