%0 Journal Article %1 Wadler2015Propositions %A Wadler, Philip %C New York, NY, USA %D 2015 %I ACM %J Communications of the ACM %K 03b15-higher-order-logic-type-theory %N 12 %P 75--84 %R 10.1145/2699407 %T Propositions as types %U http://dx.doi.org/10.1145/2699407 %V 58 %X Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.

@article{Wadler2015Propositions, abstract = {{Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.}}, added-at = {2019-03-01T00:11:50.000+0100}, address = {New York, NY, USA}, author = {Wadler, Philip}, biburl = {https://www.bibsonomy.org/bibtex/2adace20d072bb847c9ae3ddc738bee4b/gdmcbain}, citeulike-article-id = {14067827}, citeulike-attachment-1 = {wadler_15_propositions.pdf; /pdf/user/gdmcbain/article/14067827/1111959/wadler_15_propositions.pdf; c0f83a70b1c225e7705c301e1106332819bff375}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=2847579.2699407}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/2699407}, day = 23, doi = {10.1145/2699407}, file = {wadler_15_propositions.pdf}, interhash = {26499d0856a8765a41c50675f2780835}, intrahash = {adace20d072bb847c9ae3ddc738bee4b}, issn = {00010782}, journal = {Communications of the ACM}, keywords = {03b15-higher-order-logic-type-theory}, month = nov, number = 12, pages = {75--84}, posted-at = {2017-06-15 12:28:12}, priority = {5}, publisher = {ACM}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Propositions as types}}, url = {http://dx.doi.org/10.1145/2699407}, volume = 58, year = 2015 }