Categories for computation in context and uni��ed logic (submitted (0)

by R F Blute, J R B Cockett, R A G Seely