about
description
2005 nî lūn-bûn
@nan
2005年の論文
@ja
2005年学术文章
@wuu
2005年学术文章
@zh
2005年学术文章
@zh-cn
2005年学术文章
@zh-hans
2005年学术文章
@zh-my
2005年学术文章
@zh-sg
2005年學術文章
@yue
2005年學術文章
@zh-hant
name
BI Hyperdoctrines and Higher-Order Separation Logic
@en
BI Hyperdoctrines and Higher-Order Separation Logic
@nl
type
label
BI Hyperdoctrines and Higher-Order Separation Logic
@en
BI Hyperdoctrines and Higher-Order Separation Logic
@nl
prefLabel
BI Hyperdoctrines and Higher-Order Separation Logic
@en
BI Hyperdoctrines and Higher-Order Separation Logic
@nl
P1476
BI Hyperdoctrines and Higher-Order Separation Logic
@en
P2093
Noah Torp-Smith
P304
P356
10.1007/978-3-540-31987-0_17
P577
2005-01-01T00:00:00Z