Login / Signup

Subformula Linking for Intuitionistic Logic with Application to Type Theory.

Kaustuv Chaudhuri
Published in: CADE (2021)
Keyphrases
  • intuitionistic logic
  • constraint satisfaction problems