---
layout: plt
title: computation/lambda calculus
---

# the lambda calculus