David Templin's Blog
  • Home
  • About
Sign in Subscribe

Lambda Calculus

A collection of 3 posts
The Semantics of the Lambda Calculus
Computer Science

The Semantics of the Lambda Calculus

This post describes the semantics of the lambda calculus.
18 Aug 2026 45 min read
Howe's Method
Computer Science

Howe's Method

This post elucidates the mathematical foundations of Howe's method.
03 Aug 2026 24 min read
Applicative Bisimilarity
Computer Science

Applicative Bisimilarity

This post examines a notion of equivalence for terms of the lambda calculus known as applicative bisimilarity.
27 Jul 2026 52 min read
Page 1 of 1
David Templin's Blog © 2026
  • Sign up
Powered by Ghost