S. Lappin, “Intensions as Computable Functions”, LiLT, vol. 9, pp. 229–239, Jan. 2014.