research
∙
07/03/2023
On the Definition of the Eta-long Normal Form in Type Systems of the Cube
The smallest transitive relation < on well-typed normal terms such that ...
research
∙
05/17/2023
A constructive proof of Skolem theorem for constructive logic
If the sequent (Gamma entails forall x exists y A) is provable in first ...
research
∙
10/21/2022