dblp.uni-trier.dewww.uni-trier.de

James T. Sasaki

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
2EEJames 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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)