Propositions as Types

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.
Original languageEnglish
Pages (from-to)75-84
Number of pages10
JournalCommunications of the ACM
Issue number12
Early online date23 Nov 2015
Publication statusPublished - Dec 2015


Dive into the research topics of 'Propositions as Types'. Together they form a unique fingerprint.

Cite this