The Minimal Levels of Abstraction in the History of Modern Computing
暂无分享,去创建一个
[1] Tim Berners-Lee,et al. Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .
[2] L. Floridi,et al. Levellism and the Method of Abstraction , 2004 .
[3] Giovanni Sambin,et al. Twenty-five years of constructive type theory. , 1998 .
[4] S. Lane. Categories for the Working Mathematician , 1971 .
[5] Paul E. Ceruzzi,et al. A history of modern computing , 1999 .
[6] L. Floridi. A DEFENCE OF CONSTRUCTIONISM: PHILOSOPHY AS CONCEPTUAL ENGINEERING , 2011 .
[7] L. Floridi. Information: A Very Short Introduction , 2010 .
[8] Giuseppe Primiero,et al. Information and Knowledge, A Constructive Type-theoretical Approach , 2007, Logic, Epistemology, and the Unity of Science.
[9] Luciano Floridi,et al. What is the Philosophy of Information , 2002 .
[10] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[11] Michael Conrad,et al. The price of programmability , 1988 .
[12] Moshé MacHover. VARIETIES OF CONSTRUCTIVE MATHEMATICS (London Mathematical Society Lecture Note Series 97) , 1988 .
[13] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .
[14] Giovanni Sommaruga. Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information [Muenchenwiler Seminar (Switzerland), May 2009] , 2009, Formal Theories of Information.
[15] Hilmi Demir. Luciano Floridi's philosophy of technology : critical reflections , 2012 .
[16] P. Allo. PUTTING INFORMATION FIRST: LUCIANO FLORIDI AND THE PHILOSOPHY OF INFORMATION , 2010 .
[17] R. Goldblatt. Topoi, the Categorial Analysis of Logic , 1979 .
[18] Keith W. Miller,et al. Artificial Agents, Cloud Computing, and Quantum Computing: Applying Floridi’s Method of Levels of Abstraction , 2012 .
[19] Luciano Floridi,et al. The Method of Levels of Abstraction , 2008, Minds and Machines.
[20] Hilmi Demir. Luciano Floridi’s Philosophy of Technology , 2012 .
[21] Eng Wah Lee,et al. Business process management (BPM) standards: a survey , 2009, Bus. Process. Manag. J..
[22] Giovanni Sambin-Silvio Valentini. Building up a toolbox for Martin-Löf ’ s type theory . Part I : subset theory , 2004 .