Categories for computation in context and unified logic

From MaRDI portal
Revision as of 09:25, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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