Sekirov Dictionary

applicand

noun2

A function, in lambda calculus, that is the subject of application
abbreviation of applicandus

forms

applicands

This dictionary works without the internet: on your phone · in Chrome