Home

Welcome to the pLam wiki! (Work in progress...)

This home page serves as a reference to all other content related to pLam language and λ-calculus. The content described in these wiki pages deals not just with the documentation of pLam's syntax and semantics, but also serves as a mild introduction to λ-calculus and computability, along with most important definitions and results, pointing to links for further reading.

Table of Contents

• λ-calculus
  • Language
  • β-reduction
  • α-equivalence
• Computability
  • Partial recursive functions
  • Church numerals
  • λ-definability
• pLam
  • Syntax and semantics
  • Libraries
  • Examples

---

λ-calculus

(go to detailed wiki)

Language

β-reduction

α-equivalence

---

Computability

(go to detailed wiki)

Partial recursive functions

Church numerals

λ-definability

---

pLam

(go to detailed wiki)

Syntax and semantics

Libraries

Examples