Journal of Functional Programming (2006), 16 : 327-372 Cambridge University Press
Copyright © 2006 Cambridge University Press
doi:10.1017/S0956796806005892 (About doi)
Published online by Cambridge University Press 03 May 2006
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=433847
Copy and paste this citation
ANNA BUCALO,
FURIO HONSELL,
MARINO MICULAN,
IVAN SCAGNETTO
and MARTIN HOFFMAN
(2006).
Consistency of the theory of contexts. Journal of Functional Programming,
16
,
pp 327-372
doi:10.1017/S0956796806005892
doi:10.1017/S0956796806005892
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
