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/13/2020