Propositions as types
Communications of the ACM 58 (12): 75--84 (Nov 23, 2015)

Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.
  • @flint63
  • @dblp
  • @gdmcbain
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).