Implicit lambda calculus

publicationservice.org