MISC

2002年

Strong normalizability of the non-deterministic chatch/throw calculi(共著)

Theoretical Computer Science

272,223-245
DOI
10.1016/S0304-3975(00)00352-2

リンク情報
DOI
https://doi.org/10.1016/S0304-3975(00)00352-2