Modular Structures as Dependent Types in Isabelle (1998)

Cached

Download Links

by Florian Kammüller
Citations:5 - 3 self