Logical Relations and Inductive/coinductive Types (1998)

Cached

Download Links

by Thorsten Altenkirch
Citations:18 - 4 self

Document Versions

Logical Relations and Inductive/coinductive Types –Thorsten Altenkirch — 1998