Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}