Bridging Curry and Church's typing style.

Fairouz Kamareddine Jonathan P. Seldin J. B. Wells

Published in: J. Appl. Log. (2016)

Keyphrases

computer vision
database
search engine
case study
digital divide
authorship attribution