contexts and the sharing functor: Techniques for symbolic computation (2003)

by Linear
Venue:In Fairouz Kamareddine, editor, Thirty Five Years of Automating Mathematics