Categories for computation in context and unified logic

From MaRDI portal
Publication:678833

DOI10.1016/S0022-4049(96)00162-4zbMath0879.03021MaRDI QIDQ678833

R. A. G. Seely, J. Robin B. Cockett, Richard F. Blute

Publication date: 12 January 1998

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)




Related Items (4)



Cites Work


This page was built for publication: Categories for computation in context and unified logic