Site Navigation
Categories:
Set theory
Logic stubs
Mathematical logic stubs
Articles lacking sources from January 2007
All articles lacking sources

Summary Of: Extensionality

extensionality is expressed by the... which apply extensionality as a means of determining the effective type of a variable...

Encyclodia Page On: Extensionality

These Are Links To Other Documents
logic | intensionality | natural numbers | codomain | extensions | axiom of extensionality | functions | ordered pairs | equivalence relation | equivalence class | Type-theoretical | setoids | constructability | decidability | lambda calculus | eta-conversion | Structural typing | duck typing | computer programming | cite | references or sources | reliable sources | challenged | removed | Stub icon | logic | stub | v | Stub icon | mathematical logic | stub | v | Categories | Set theory | Logic stubs | Mathematical logic stubs | Articles lacking sources from January 2007 | All articles lacking sources |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Extensionality".