Login / Signup

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.

José Espírito SantoGilda Ferreira
Published in: Stud Logica (2020)
Keyphrases
  • intuitionistic logic
  • database
  • high level
  • linear logic