Proofs and Types

读了两遍才懂，虽然是89年的书但是其中的思想依然深刻，极具启发意义；

文字异常简约，直观的理解很少，因此需要有足够的内力才能有所领会，我读了1/2后发现修养还是缺了一点，回头再重新读。