Constructive category theory

Authors
Huet, G Saibi, A
Citation
G. Huet et A. Saibi, Constructive category theory, FOUNDAT COM, 2000, pp. 239-275
Categorie Soggetti
Current Book Contents
Journal title
PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER → ACNP
Year of publication
2000
Pages
239 - 275
Database
ISI
SICI code