Lambda calculus, types and foundations of programming languages
University of Gothenburg
GÖTEBORG
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Lambda calculus, types and foundations of programming languages
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 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.
Behörighet
For admission to the course successful completion of Logical theory (LOG111), or the equivalent, is required. English 6 or equivalent is also required.
Utbildningstillfällen
Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.
Källa och uppdatering
Hämtad: .
Publicerad: .
Visa källversion
Publiceringsversion: 8e217193-f5fa-4778-b085-a4521fd03e8d
Kontrollsumma: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Senast ändrad enligt källan: 2026-09-09T08:18:56