TY  - RPRT
TI  - The Calculus of Algebraic Constructions
AU  - Frédéric Blanqui
AU  - Jean-Pierre Jouannaud
AU  - Mitsuhiro Okada
PY  - 2008
UR  - https://arxiv.org/abs/cs/0610063
ID  - cs/0610063
ER  -