Gérard Huet, J.M. Hullot

Public reference bibliography and cataloged PDF materials authored or published by Gérard Huet, J.M. Hullot.

Found 1 document(s) Page 1 of 1

Proofs by induction in equational theories with constructors

Year: 1980 • Source: hal.science • Listed PDF

pas de résumé...