Homotopy Type TheoryPeter Aczel & Benedikt Ahrens & Thorsten Altenkirch & Steve Awodey & Bruno Barras & Andrej Bauer & Yves Bertot & Marc Bezem & Thierry Coquand & Eric Finster & Daniel Grayson & Hugo Herbelin & Andre Joyal & Dan Licata & Peter Lumsdaine & Assia Mahboubi & Per Martin-Lof & Sergey Melikhov & Alvaro Pelayo & Andrew Polonsky & Michael Shulman & Matthieu Sozeau & Bas Spitters & Benno van den Berg & Vladimir Voevodsky & Michael Warren & Noam Zeilberger2013PDF4.4 MB
Program Evaluation for Social WorkersRichard M. Grinnell Jr, Peter A Gabor, Yvonne A Unrau2019PDF10 MB