Embedding display calculi into logical frameworks: Comparing twelf and isabelle (0)

by J E Dawson, R Goré
Venue:Electr. Notes Theor. Comput. Sci