Encoding Linear Logic with Interaction Combinators

AuthID
P-000-NG1
2
Author(s)
Tipo de Documento
Article
Year published
2002
Publicado
in INFORMATION AND COMPUTATION, ISSN: 0890-5401
Volume: 176, Número: 2, Páginas: 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
Info
At this moment we don't have any links to full text documens.