to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abst...

Software errors can lead to catastrophic consequences, from financial losses to threats to human ...