![](/img/cover-not-exists.png)
Inductive-data-type systems
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro OkadaVolume:
272
Year:
2002
Language:
english
Pages:
28
DOI:
10.1016/s0304-3975(00)00347-9
File:
PDF, 198 KB
english, 2002