| |
| 1997 | ||
|---|---|---|
| 2 | EE | James T. Sasaki: A Type Theory with Mixed Constructivity and Assignments. Logic Journal of the IGPL 5(3): (1997) |
| 1995 | ||
| 1 | James T. Sasaki: Efficient Verified Programs in a Typed Theory with Mixed Constructivity. J. Log. Comput. 5(5): 669-689 (1995) | |