Higher-order rewriting via conditional first-order rewriting in the open calculus of constructions

Cached

Download Links

by Mark-oliver Stehr
Venue:Informatik Berichte. Department of Computer Science
Citations:1 - 1 self