Type Theory and Formal Proof: An Introduction By: Rob…
Type Theory and Formal Proof: An Introduction By: Rob Nederpelt, Herman Geuvers | Ebooks - Math/Science/Tech | PDF | 2.35 MiB
November 6th 2014 | ISBN: 110703650X | English | 466 pages