Art
J-GLOBAL ID：201102116230347474
Reference number：11A0435850
Strong normalizability of the non-deterministic catch/throw calculi
非決定論的キャッチ/スロー計算法の強正規化性
-
Publisher site
Copy service
-
Access JDreamⅢ for advanced search and analysis.
Author (2)：
,
Material：
Volume：
272
Issue：
1-2
Page：
223-245
Publication year：
2002
JST Material Number：
O6370A
ISSN：
0304-3975
Document type：
Article
Country of issue：
Other (ZZZ)
Language：
ENGLISH (EN)
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
,
Return to Previous Page
