- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| j2 |      | James T. Sasaki: A Type Theory with Mixed Constructivity and Assignments. Logic Journal of the IGPL 5(3): 1-37 (1997) |
| 1995 | ||
| j1 | | James T. Sasaki: Efficient Verified Programs in a Typed Theory with Mixed Constructivity. J. Log. Comput. 5(5): 669-689 (1995) |
| 1986 | ||
| b1 | | Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith: Implementing mathematics with the Nuprl proof development system. Prentice Hall 1986, isbn 978-0-13-451832-9, pp. I-X, 1-299 |
| 1 | Stuart F. Allen | |
| 2 | Mark Bromley | |
| 3 | Rance Cleaveland | |
| 4 | Robert L. Constable | |
| 5 | J. F. Cremer | |
| 6 | R. W. Harper | |
| 7 | Douglas J. Howe | |
| 8 | Todd B. Knoblock | |
| 9 | N. P. Mendler | |
| 10 | Prakash Panangaden | |
| 11 | Scott F. Smith |
Data released under the ODC-BY 1.0 license — See also our legal information page