Order-sorted polymorphism in Isabelle (1993)

by T Nipkow
Venue:Logical Environments