%0 Journal Article
%T A lambda calculus for real analysis
%A Paul Taylor
%J Journal of Logic and Analysis
%D 2010
%I Journal of Logic and Analysis
%R 10.4115/jla.v2i0.63
%U http://www.logicandanalysis.org/index.php/jla/article/view/63