共 16 条
[1]
Baillot P, 2004, LECT NOTES COMPUT SC, V2987, P27
[2]
Caires L, 2013, LECT NOTES COMPUT SC, V7792, P330, DOI 10.1007/978-3-642-37036-6_19
[3]
Caires L, 2010, LECT NOTES COMPUT SC, V6269, P222, DOI 10.1007/978-3-642-15375-4_16
[5]
Soft Session Types
[J].
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
2011, (64)
:59-73
[6]
Light Logics and Higher-Order Processes
[J].
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
2010, (41)
:46-60
[9]
Honda K, 1998, LECT NOTES COMPUT SC, V1381, P122, DOI 10.1007/BFb0053567