Jones, Neil D.; Simonsen, Jakob Grue Programs = data = first-class citizens in a computational world. (English) Zbl 1328.68064 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 370, No. 1971, 3305-3318 (2012). MSC: 68Q05 03D10 03D20 68N30 PDFBibTeX XMLCite \textit{N. D. Jones} and \textit{J. G. Simonsen}, Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 370, No. 1971, 3305--3318 (2012; Zbl 1328.68064) Full Text: DOI
Soare, Robert Irving Formalism and intuition in computability. (English) Zbl 1338.03075 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 370, No. 1971, 3277-3304 (2012). MSC: 03D10 03-03 03D20 03D28 01A60 PDFBibTeX XMLCite \textit{R. I. Soare}, Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 370, No. 1971, 3277--3304 (2012; Zbl 1338.03075) Full Text: DOI
Barendregt, Henk; Wiedijk, Freek The challenge of computer mathematics. (English) Zbl 1152.03304 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 363, No. 1835, 2351-2375 (2005). MSC: 03A05 03B35 68W30 PDFBibTeX XMLCite \textit{H. Barendregt} and \textit{F. Wiedijk}, Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 363, No. 1835, 2351--2375 (2005; Zbl 1152.03304) Full Text: DOI