Curry and Church typing
Curry-Howard, changed citation style