文献
J-GLOBAL ID:201702261396071726
整理番号:17A1630206
分散部分構造論理のための余代数的完全性を介したcanonicity【Powered by NICT】
Coalgebraic completeness-via-canonicity for distributive substructural logics
著者 (2件):
Dahlqvist Fredrik
(University College London, United Kingdom)
,
Pym David
(University College London, United Kingdom)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
93
ページ:
1-22
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)