Order-Sorted Inductive Types (1999)

Cached

Download Links

by Gilles Barthe
Citations:4 - 3 self