New answers tagged

-1 votes

What Pure Type Systems have dependent types

The $ λ-cube $ is a framework for classifying type systems along three axes: simple types, polymorphic types, and dependent types. If a pure type system is situated anywhere on the $ λ-cube $ such ...
Camille Dolma's user avatar

Top 50 recent answers are included