Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle (2001)

Cached

Download Links

by Jeremy E. Dawson , Rajeev Goré
Venue:ENTCS
Citations:5 - 3 self