about · lately · live · notes · talks · writing · contact · thanks · support ·


lambda calculus

The set of inputs is known as domain, the resulting output is codomain.