| 2008 |
|---|
| 4 | EE | Stefano Berardi,
Yoriyuki Yamagata:
A sequent calculus for limit computable mathematics.
Ann. Pure Appl. Logic 153(1-3): 111-126 (2008) |
| 2004 |
|---|
| 3 | EE | Yoriyuki Yamagata:
Strong normalization of the second-order symmetric lambda mu -calculus.
Inf. Comput. 193(1): 1-20 (2004) |
| 2002 |
|---|
| 2 | EE | Yoriyuki Yamagata:
Strong normalization of a symmetric lambda calculus for second-order classical logic.
Arch. Math. Log. 41(1): 91-99 (2002) |
| 2001 |
|---|
| 1 | EE | Yoriyuki Yamagata:
Strong Normalization of Second Order Symmetric Lambda-mu Calculus.
TACS 2001: 459-467 |
