?

Log in

No account? Create an account

_xacid_

Generic Programming with Adjunctions

Generic Programming with Adjunctions

Previous Entry Share Next Entry
http://www.cs.ox.ac.uk/ralf.hinze/LN.pdf
Powered by LiveJournal.com