Encoding Linear Logic with Interaction Combinators

AuthID
P-000-NG1
2
Author(s)
Document Type
Article
Year published
2002
Published
in INFORMATION AND COMPUTATION, ISSN: 0890-5401
Volume: 176, Issue: 2, Pages: 153-186 (34)
Indexing
Publication Identifiers
Dblp: journals/iandc/MackieP02
Scopus: 2-s2.0-0036707241
Wos: WOS:000177966200004
Source Identifiers
ISSN: 0890-5401
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.