Logical Relations and Inductive/coinductive Types (1998)

Cached

Download Links

by Thorsten Altenkirch
Citations:19 - 4 self