DMCA

Order-sorted polymorphism in isabelle (1993)

Cached

Download Links

by Tobias Nipkow , Tu München
Venue:Logical Environments
Citations:37 - 2 self