| Document Date: 2013-11-04 20:56:12 Open Document File Size: 2,91 MBShare Result on Facebook
Person Curry-Howard Correspondance -calculus / Curry-Howard Correspondance Natural / I ACM / / Position The Coq Proof Assistant / Coq The Proof General / proof assistant / Coq Proof Assistant / / Technology Functional programming / / URL http /
SocialTag |