Ah, then you’ll want to read about the [https://hal.inria.fr/inria-00076024/document](Calculus of Constructions):
Yeah, TAPL is the book on type systems. I’m not aware of competition.
Ah, then you’ll want to read about the [https://hal.inria.fr/inria-00076024/document](Calculus of Constructions):
Yeah, TAPL is the book on type systems. I’m not aware of competition.