Fingerprint
Dive into the research topics of 'Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle
Peter Chapman, James McKinna, Christian Urban
Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review