| 
|
Quote: in type-free, lambda calculus, can not define a universal domain that includes all functions
topics >
all references >
references sa-sz >
Group:
sets
Topic:
universal data type
Topic:
lambda calculus
Topic:
procedures as data
Quotation Skeleton
Another example is the type-free .lambda.-calculus of Church … . This leads to the defining equation. D=A+ … [D-> D] … [where D is the domain of objects, A is the domain of atoms, + is domain union, and [D->D] … is the domain of functions from D to D] … In fact there are always more elements of … [D->D] … to an isomorphism" only) cannot be satisfied. … Google-1 Google-2
Copyright clearance needed for quotation.
Group: sets (7 topics, 148 quotes)
Topic: universal data type (18 items)
Topic: lambda calculus (14 items)
Topic: procedures as data (22 items)