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