User:Thepigdog
My version
[edit]Related
[edit]- Curry's paradox
- Lambda lifting
- Deductive lambda calculus
- Church encoding
- Mogensen–Scott encoding
- Fixed-point combinator
- Let expression
- Narrowing of algebraic value sets
- Inductive probability
- Relational programming
- Lambda calculus definition
Play
[edit]Incomplete
[edit]- User:Thepigdog/Relational meta programming
- User:Thepigdog/Type inference
- User:Thepigdog/Relational model of imperative programming
Junk
[edit]- User:Thepigdog/Meta values
- User:Thepigdog/Type equations
- User:Thepigdog/Perception and object model
- User:Thepigdog/General intelligence
- User:Thepigdog/Value sets
- User:Thepigdog/Values
- User:Thepigdog/Implicit Variable Semantics
Complete
[edit]- User:Thepigdog/Lambda calculus definition
- User:Thepigdog/Relational programming
- User:Thepigdog/Deductive lambda calculus
- User:Thepigdog/Inductive probabilities
Internal
[edit]- User:Thepigdog/War
- User:Thepigdog/Religion
- User:Thepigdog/Quantum interpretation-Gateway outside space time
- User:Thepigdog/Multi-cellular organisms as adaptive colonies
- User:Thepigdog/Origins of thought