Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Dirty Genes: A Breakthrough Program to Treat the Root Cause ...
Ben Lynch
Geometric Quantization
N. M. J. Woodhouse
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Mathematics for 3D Game Programming and Computer Graphics, Third ...
Eric Lengyel