RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Traced Premonoidal Categories

Nick Benton and Martin Hyland

RAIRO-Theor. Inf. Appl., 37 4 (2003) 273-299

Published online: 15 January 2004

DOI: 10.1051/ita:2003020

Nick Benton

Martin Hyland

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)