指稱語義 Equational reasoning Program derivation Category theory The Curry-Howard isomorphism fix 和遞歸
fix
