Software Foundations Read now

Brent Yorgey, Vilhelm Sjöberg, Cătălin Hriţcu, Michael Greenberg, Marco Gaboardi, Chris Casinghino, Arthur Azevedo de Amorim, Benjamin C. Pierce

Categories: Computer Science, Coq, Logic, Functional Programming, Type Systems