andrew-bacon

Errata for A Philosophical Introduction to Higher-Order Logics

\(\beta\), \(\eta\) and $\beta\eta$-equivalence