Fast Reflexive Arithmetic Tactics the linear case and beyond (2006)

Cached

Download Links

by Frédéric Besson
Venue:in "Types for Proofs and Programs (TYPES’06)", Lecture Notes in Computer Science
Citations:15 - 5 self