Gilles Barthe
Gilles Barthe.
Order-sorted inductive types.
Information and Computation
, 149(1):42-76, 25 February 1999.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database