A Lattice Theoretic Approach to Computation Based on a Calculus of Partially Ordered Type Structures
収録刊行物
-
- Dissertation, Univ. of Pennsylvania
-
Dissertation, Univ. of Pennsylvania 1984