Type-Based Termination of Recursive Definitions (2002)

Cached

Download Links

by G. Barthe , M. J. Frade , E. Giménez , L. Pinto , T. Uustalu
Citations:40 - 3 self