Mathematical Structures in Computer Science (2005), 15 : 37-92 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0960129504004426 (About doi)
Published online by Cambridge University Press 28 Jan 2005
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=279746
Copy and paste this citation
FRÉDÉRIC BLANQUI
(2005).
Definitions by rewriting in the Calculus of Constructions. Mathematical Structures in Computer Science,
15
,
pp 37-92
doi:10.1017/S0960129504004426
doi:10.1017/S0960129504004426
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
