Thepigdog

My version

• User:Thepigdog/Lambda Calculus

Related

• 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

• User:Thepigdog/Play
• User:Thepigdog/Play2
• User:Thepigdog/Play3

Incomplete

• User:Thepigdog/Relational meta programming
• User:Thepigdog/Type inference
• User:Thepigdog/Relational model of imperative programming

Junk

• 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

• User:Thepigdog/Lambda calculus definition
• User:Thepigdog/Relational programming
• User:Thepigdog/Deductive lambda calculus
• User:Thepigdog/Inductive probabilities

Internal

• 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

Old

• Inductive Inference
• Probability
• User:Thepigdog/Lambda Calculus (old)
• User:Thepigdog/Value