Sponsor of the Day:
Jerkmate
https://www.academia.edu/11527350/RPO_Second_order_Contexts_and_Lambda_calculus
(PDF) RPO, Second-order Contexts, and Lambda-calculus
First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labeled transition systems (and bisimilarities) with a reduced set of...
second orderlambda calculuspdfrpocontexts
https://weblogs.asp.net/dixin/Tags/Lambda-Calculus/
Dixin's Blog - Contents tagged with Lambda Calculus - Tags
blog contents taggedlambda calculusdixintags
https://weblogs.asp.net/dixin/lambda-calculus-via-csharp-7-fixed-point-combinator-and-recursion/
Dixin's Blog - Lambda Calculus via C# (7) Fixed Point Combinator and Recursion
blog lambda calculusfixed pointdixinvia7
https://weblogs.asp.net/dixin/lambda-calculus-via-c-2-boolean-and-logic/
Dixin's Blog - Lambda Calculus via C# (2) Church Encoding: Boolean and Logic
blog lambda calculusdixinvia2church
https://weblogs.asp.net/dixin/lambda-calculus-via-csharp-4-tuple-and-signed-numeral/
Dixin's Blog - Lambda Calculus via C# (4) Tuple and Signed Numeral
blog lambda calculusdixinvia4tuple
https://weblogs.asp.net/dixin/lambda-calculus-via-c-sharp-24-undecidability-of-equivalence/
Dixin's Blog - Lambda Calculus via C# (8) Undecidability of Equivalence
blog lambda calculusdixinvia8undecidability