Categories for Computation in Context and Unified Logic: The "Intuitionist" Case (1997)

by R. F. Blute , J.R.B. Cockett , R.A.G. Seely
Citations:4 - 0 self