Adjoint Rewriting and the !-type constructor (1996)

Cached

Download Links

by Neil Ghani
Citations:4 - 2 self