Logical Relations and Inductive/coinductive Types (1998)

Cached

Download Links

by Thorsten Altenkirch
Citations:18 - 4 self