A Semantics for Higher-order Functors (1994)

Cached

Download Links

by David B. MacQueen , Mads Torre
Citations:57 - 2 self