Projects per year
Abstract / Description of output
Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.
| Original language | English |
|---|---|
| Pages (from-to) | 75-84 |
| Number of pages | 10 |
| Journal | Communications of the ACM |
| Volume | 58 |
| Issue number | 12 |
| Early online date | 23 Nov 2015 |
| DOIs | |
| Publication status | Published - Dec 2015 |
Fingerprint
Dive into the research topics of 'Propositions as Types'. Together they form a unique fingerprint.Projects
- 1 Finished
-
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20
Project: Research
Profiles
-
Philip Wadler, FRS
- School of Informatics - Chair of Theoretical Computer Science
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active