From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition (2001)

Cached

Download Links

by Yong Xiao , Amr Sabry , Zena M. Ariola
Venue:Higher-Order and Symbolic Computation
Citations:11 - 0 self