Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation (2003)
by
Gérard Huet
| Venue: | in « Thirty Five Years of Automating Mathematics |
| Citations: | 12 - 3 self |
Document Versions
| Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation –Gérard Huet — 2003 — in « Thirty Five Years of Automating Mathematics |
