True, Untrue, Valid, Invalid, Provable, Unprovable
Article in Logic and Logical Philosophy (January 2024)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Implicit computation complexity in higher-order programming languages
Article in Mathematical Structures in Computer Science (March 2022)
Paradoxes and Inconsistent Mathematics
Monograph (October 2021)