Lambda-definable partial function
ID: lambda-definable-partial-function
A partial function is lambda-definable when one lambda term maps Church numerals in its domain to the numeral of the output and produces no numeral on inputs outside its domain.
New to topics? Read the docs here!