Embedding display calculi into logical frameworks: Comparing twelf and isabelle
- Jeremy E. Dawson
- , Rajeev Goré
Research output: Contribution to journal › Conference article › peer-review
6
Citations
(Scopus)