Embedding display calculi into logical frameworks: Comparing Twelf and Isabelle (0)

by J E Dawson, R Goré
Venue:Electronic Notes in Theoretical Computer Science