Type-Based Termination of Recursive Definitions (2002)

View PDF

Download Links

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