Login / Signup
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.
José Espírito Santo
Gilda Ferreira
Published in:
Stud Logica (2020)
Keyphrases
</>
intuitionistic logic
database
high level
linear logic