/subjects/Lambda_calculus
Type: /type/subject
name: Lambda calculus