Propositions as Types

Research output: Contribution to journal › Article › peer-review

1 results
- Last Name(descending)

Philip Wadler, FRS
- wadlerinf.ed.acuk
- School of Informatics - Chair of Theoretical Computer Science
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active