| 
|
Quote: need to prove that reflexive domains exist; i.e., domains defined by self-referential equations
topics >
all references >
references sa-sz >
Topic:
self reference
Group:
sets
Topic:
lambda calculus
Quotation Skeleton
We cannot now feel happy with any of … we have proved their existence. It was the … [D->D] that prevented the construction of set-theoretic models of the .lambda.-calculus … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: because of self-reference, could not construct a set-theoretic model of the .lambda.-calculus
Topic: self reference (27 items)
Group: sets (7 topics, 148 quotes)
Topic: lambda calculus (14 items)