Publications

Functional Interpretations of Intuitionistic Linear Logic

AuthID
P-00F-W28

Author(s)

Ferreira, G

Oliva, P

Editor(s)

Gradel,E;Kahle,R

Document Type

Proceedings Paper

Year published

2009

Published

in COMPUTER SCIENCE LOGIC, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5771, Pages: 3-19 (17)

Conference

23Rd International Workshop on Computer Science Logic/18Th Annual Conference of the European-Association-For-Computer-Science-Logic, Date: SEP 07-11, 2009, Location: Coimbra, PORTUGAL, Host: Univ Coimbra, Dept Math, Fac Sci & Technol

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-04027-6_3

Scopus: 2-s2.0-70350366929

Wos: WOS:000270711900001

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.

Functional Interpretations of Intuitionistic Linear Logic

Useful Links

Get Help

Federated Authentication (Click on the image)

Functional Interpretations of Intuitionistic Linear Logic

Useful Links

Get Help