A Monadic Interpretation of Tactics (2002)

Cached

Download Links

by Andrew Martin , Jeremy Gibbons
Citations:1 - 0 self

Document Versions

A Monadic Interpretation of Tactics –Andrew Martin, Jeremy Gibbons — 2002