Direct Compositionality

Direct Compositionality (04-006-2001), Winter semester 2020

About the Course
Readings

lambdacalc

λ Preliminaries

2020-10-31

The λ calculus is a language for reasoning about functions.

Recent Posts

Errata to Homework 3
And an example derivation
All homework assignments in one place!

Tags

bureaucracy lambdacalc semantics syntax

Social

gkobele@uni-leipzig.de

© 2021 Direct Compositionality. Generated with Hugo and Mainroad theme.