2 papers
cs.LO2018
An extended type system with lambda-typed lambda-expressions
Matthias Weber
We present the system , an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. …
cs.LO2018
An extended type system with lambda-typed lambda-expressions (extended version)
Matthias Weber
We present the type system , an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt…