Structured Propositions as Types. Hanks, P. W. 120(477):11–52. doi abstract bibtex Powerful insights arise from linking two fields of study previ- ously thought separate. Examples include Descartes's coordinates, which links geometry to algebra, Planck's Quantum Theory, which links particles to waves, and Shannon's Information Theory, which links thermodynamics to communication. Such a synthesis is of- fered by the principle of Propositions as Types, which links logic to computation. At first sight it appears to be a simple coincidence— almost a pun—but it turns out to be remarkably robust, inspiring the design of automated proof assistants and programming languages, and continuing to influence the forefronts of computing
@article{hanksStructuredPropositionsTypes2011,
title = {Structured Propositions as Types},
volume = {120},
issn = {00264423},
doi = {10.1093/mind/fzr011},
abstract = {Powerful insights arise from linking two fields of study previ- ously thought separate. Examples include Descartes's coordinates, which links geometry to algebra, Planck's Quantum Theory, which links particles to waves, and Shannon's Information Theory, which links thermodynamics to communication. Such a synthesis is of- fered by the principle of Propositions as Types, which links logic to computation. At first sight it appears to be a simple coincidence— almost a pun—but it turns out to be remarkably robust, inspiring the design of automated proof assistants and programming languages, and continuing to influence the forefronts of computing},
number = {477},
journaltitle = {Mind},
date = {2011},
pages = {11--52},
author = {Hanks, Peter W.},
file = {/home/dimitri/Nextcloud/Zotero/storage/Z6P75AZQ/Hanks - 2011 - Structured propositions as types.pdf}
}
Downloads: 0
{"_id":"voNt3t5cRMoK2YAFP","bibbaseid":"hanks-structuredpropositionsastypes","authorIDs":[],"author_short":["Hanks, P. W."],"bibdata":{"bibtype":"article","type":"article","title":"Structured Propositions as Types","volume":"120","issn":"00264423","doi":"10.1093/mind/fzr011","abstract":"Powerful insights arise from linking two fields of study previ- ously thought separate. Examples include Descartes's coordinates, which links geometry to algebra, Planck's Quantum Theory, which links particles to waves, and Shannon's Information Theory, which links thermodynamics to communication. Such a synthesis is of- fered by the principle of Propositions as Types, which links logic to computation. At first sight it appears to be a simple coincidence— almost a pun—but it turns out to be remarkably robust, inspiring the design of automated proof assistants and programming languages, and continuing to influence the forefronts of computing","number":"477","journaltitle":"Mind","date":"2011","pages":"11–52","author":[{"propositions":[],"lastnames":["Hanks"],"firstnames":["Peter","W."],"suffixes":[]}],"file":"/home/dimitri/Nextcloud/Zotero/storage/Z6P75AZQ/Hanks - 2011 - Structured propositions as types.pdf","bibtex":"@article{hanksStructuredPropositionsTypes2011,\n title = {Structured Propositions as Types},\n volume = {120},\n issn = {00264423},\n doi = {10.1093/mind/fzr011},\n abstract = {Powerful insights arise from linking two fields of study previ- ously thought separate. Examples include Descartes's coordinates, which links geometry to algebra, Planck's Quantum Theory, which links particles to waves, and Shannon's Information Theory, which links thermodynamics to communication. Such a synthesis is of- fered by the principle of Propositions as Types, which links logic to computation. At first sight it appears to be a simple coincidence— almost a pun—but it turns out to be remarkably robust, inspiring the design of automated proof assistants and programming languages, and continuing to influence the forefronts of computing},\n number = {477},\n journaltitle = {Mind},\n date = {2011},\n pages = {11--52},\n author = {Hanks, Peter W.},\n file = {/home/dimitri/Nextcloud/Zotero/storage/Z6P75AZQ/Hanks - 2011 - Structured propositions as types.pdf}\n}\n\n","author_short":["Hanks, P. W."],"key":"hanksStructuredPropositionsTypes2011","id":"hanksStructuredPropositionsTypes2011","bibbaseid":"hanks-structuredpropositionsastypes","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/dlozeve/newblog/master/bib/all.bib","creationDate":"2020-01-08T20:39:39.057Z","downloads":0,"keywords":[],"search_terms":["structured","propositions","types","hanks"],"title":"Structured Propositions as Types","year":null,"dataSources":["3XqdvqRE7zuX4cm8m"]}