@article{beeson2016a,
	author = {Michael Beeson},
	date-added = {2014-12-13 00:01:19 +0000},
	date-modified = {2015-06-04 18:20:43 +0000},
	journal = {Journal of Formalized Reasoning},
	number = {1},
	pages = {71-99},
	title = {Mixing Computations and Proofs},
	url_pdf = {ProofAndComputation.pdf},
	volume = {9},
	year = {2016}}

{"_id":"wmeMi9n5Si67YKbFs","bibbaseid":"beeson-mixingcomputationsandproofs-2016","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-12-13 00:01:19 +0000","date-modified":"2015-06-04 18:20:43 +0000","journal":"Journal of Formalized Reasoning","number":"1","pages":"71-99","title":"Mixing Computations and Proofs","url_pdf":"ProofAndComputation.pdf","volume":"9","year":"2016","bibtex":"@article{beeson2016a,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-12-13 00:01:19 +0000},\n\tdate-modified = {2015-06-04 18:20:43 +0000},\n\tjournal = {Journal of Formalized Reasoning},\n\tnumber = {1},\n\tpages = {71-99},\n\ttitle = {Mixing Computations and Proofs},\n\turl_pdf = {ProofAndComputation.pdf},\n\tvolume = {9},\n\tyear = {2016}}\n\n","author_short":["Beeson, M."],"key":"beeson2016a","id":"beeson2016a","bibbaseid":"beeson-mixingcomputationsandproofs-2016","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ProofAndComputation.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":[],"search_terms":["mixing","computations","proofs","beeson"],"title":"Mixing Computations and Proofs","year":2016}