CITATION STYLE
Huet, G. (2003). Linear Contexts, Sharing Functors: Techniques for Symbolic Computation (pp. 49–69). https://doi.org/10.1007/978-94-017-0253-9_4
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley