Tag Search
Here is what our bloggers have had to say most recently on the selected topic.
Recent Posts tagged Lambda Calculus
Lambda Calculus via C# (8) Undecidability of Equivalence
Nov 28, 2023 on Dixin's Blog by Dixin
[FP & LINQ via C# series][Lambda Calculus via C# series]All the previous parts demonstrated what lambda calculus can do – defining functions to model the computing, applying functions to...
Lambda Calculus via C# (7) Fixed Point Combinator and Recursion
Nov 23, 2023 on Dixin's Blog by Dixin
[FP & LINQ via C# series][Lambda Calculus via C# series]p is the fixed point (aka invariant point) of function f if and only if: p≡ f pTake function Math.Sqrt as example, it has 2 fix poi...
Lambda Calculus via C# (6) Combinatory Logic
Nov 19, 2023 on Dixin's Blog by Dixin
[FP & LINQ via C# series][Lambda Calculus via C# series]In lambda calculus, the primitive is function, which can have free variables and bound variables. Combinatory logic was introduced by Mos...
Lambda Calculus via C# (5) List
Nov 13, 2023 on Dixin's Blog by Dixin
[FP & LINQ via C# series][Lambda Calculus via C# series]In lambda calculus and Church encoding, there are various ways to represent a list with anonymous functions.Tuple as list nodeWith Church...
Lambda Calculus via C# (4) Tuple and Signed Numeral
Nov 10, 2023 on Dixin's Blog by Dixin
[FP & LINQ via C# series][Lambda Calculus via C# series]Besides modeling values like Boolean and numeral, anonymous function can also model data structures. In Church encoding, Church pair is a...
Lambda Calculus via C# (3) Numeral, Arithmetic and Predicate
Nov 7, 2023 on Dixin's Blog by Dixin
[FP & LINQ via C# series][Lambda Calculus via C# series]Anonymous functions can also model numerals and their arithmetic. In Church encoding, a natural number n is represented by a function tha...