Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

研究成果: Article › 同行評審

4 引文斯高帕斯（Scopus）

原文	English
頁（從 - 到）	231-259
頁數	29
期刊	Mathematical Structures in Computer Science
卷	10
發行號	2
DOIs	https://doi.org/10.1017/S0960129599003072
出版狀態	Published - 2000

All Science Journal Classification (ASJC) codes

@article{f9e19d47879441859367bfbf22afc280,

title = "Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)",

author = "Masahiro Hamano",

year = "2000",

doi = "10.1017/S0960129599003072",

language = "English",

volume = "10",

pages = "231--259",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

AU - Hamano, Masahiro

PY - 2000

Y1 - 2000

UR - http://www.scopus.com/inward/record.url?scp=0347142361&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0347142361&partnerID=8YFLogxK

U2 - 10.1017/S0960129599003072

DO - 10.1017/S0960129599003072

M3 - Article

AN - SCOPUS:0347142361

SN - 0960-1295

VL - 10

SP - 231

EP - 259

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 2

ER -