Lambda calculus, types and foundations of programming languages
University of Gothenburg
GÖTEBORG
Start date:
End date:
Pace of study: 50 %
Published education catalogue
Lambda calculus, types and foundations of programming languages
Education information from the published source. The education record and its time-bound offerings are kept separate.
Education facts
Code: LOG370
Lambda calculus is a model of computation that provides a mathematical foundation of functional programming languages. Its typed formulations have been used to investigate the computational content of logical and mathematical proofs, via the celebrated Curry–Howard correspondence paradigm.
Entry requirements
For admission to the course successful completion of Logical theory (LOG111), or the equivalent, is required. English 6 or equivalent is also required.
Education offerings
Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.
Source and updates
Retrieved: .
Published: .
Show source version
Publication version: 8e217193-f5fa-4778-b085-a4521fd03e8d
Checksum: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Last changed according to the source: 2026-09-09T08:18:56