Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation (2003)

by Gérard Huet
Venue:in « Thirty Five Years of Automating Mathematics
Citations:13 - 3 self