F. Arbab, Computing and Interaction, pp.9-23, 2006.
DOI : 10.1007/3-540-34874-3_2

M. Beaudouin-lafon, Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces , AVI '04, pp.15-22, 2004.
DOI : 10.1145/989863.989865

G. Berry, The foundations of Esterel Language and Interaction: Essays in Honour of, Proof, 2000.

N. Block, Troubles with functionalism In Perception and Cognition: Issues in the Foundations of Psychology, 1978.

P. Brey, The Epistemology and Ontology of Human-Computer Interaction, Minds and Machines, vol.8, issue.2, pp.383-398, 2005.
DOI : 10.1007/s11023-005-9003-1

S. K. Card, A. Newell, and T. P. Moran, The Psychology of Human-Computer Interaction, Hillsdale: Erlbaum, 1983.

S. Chatty, R??concilier conception d'interfaces et conception logicielle, Proceedings of the 2012 Conference on Ergonomie et Interaction homme-machine, Ergo'IHM '12, pp.73-80, 2012.
DOI : 10.1145/2652574.2653412

S. Chatty, M. Magnaudet, and D. Prun, Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '15, pp.276-285, 2015.
DOI : 10.1145/2774225.2774848

A. Chemero, Radical embodied cognitive science., Review of General Psychology, vol.17, issue.2, 2011.
DOI : 10.1037/a0032923

N. Chomsky, Aspects of the Theory of Syntax, 1965.

P. S. Churchland, C. Koch, and T. J. Sejnowski, What is computational neuroscience?, 1990.

S. Conversy, S. Chatty, and C. Hurter, Visual scanning as a reference framework for interactive representation design, Information Visualization, vol.57, issue.3, pp.196-211, 2011.
DOI : 10.1177/1473871611415988
URL : https://hal.archives-ouvertes.fr/hal-01021602

R. Descartes, Premiers Principes de la Philosophie, Henri Le Gras, p.1647

A. Dittmar and P. Forbrig, A unified description formalism for complex HCI-systems, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp.342-351, 2005.
DOI : 10.1109/SEFM.2005.7

J. Dupuy, Aux origines des sciences cognitives, 1999.

D. Engelbart, Augmenting human intellect: A conceptual framework, 1962.

H. Gardner, The mind's new science, BasicBooks, 1985.

Y. Guiard and M. Beaudouin-lafon, Special issue: Fitts law 50 years later: Applications and contributions from human-computer interaction, International Journal of Human-Computer Studies, vol.61, issue.6, 2004.

T. Hewett, ACM SIGCHI Curricula for Human-Computer Interaction, 1992.
DOI : 10.1145/2594128

M. Hirsh, The dynamical systems approach to differential equations, Bulletin of the American Mathematical Society, vol.11, issue.1, pp.1-64, 1984.
DOI : 10.1090/S0273-0979-1984-15236-4

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

K. Höök and J. Löwgren, Strong concepts, ACM Transactions on Computer-Human Interaction, vol.19, issue.3, pp.1-2318, 2012.
DOI : 10.1145/2362364.2362371

E. Hutchins, Cognition in the Wild, 1995.

D. Kirsh, The intelligent use of space, Artificial Intelligence, vol.73, issue.1-2, pp.31-68, 1995.
DOI : 10.1016/0004-3702(94)00017-U

D. Kirsh, Embodied cognition and the magical future of interaction design, ACM Transactions on Computer-Human Interaction, vol.20, issue.1, 2013.
DOI : 10.1145/2442106.2442109

M. Kuhlmann, H. Lyre, and A. Wayne, Ontological Aspects of Quantum Field Theory, World Scientific, 2002.
DOI : 10.1142/5117

T. S. Kuhn, The Structure of Scientific Revolution. The University Chicago Press, 1962.

J. C. Licklider, Man-computer symbiosis. Institute of Radio Engineers Transactions on Human Factors Electronics HFE-1, pp.4-11, 1960.
DOI : 10.1109/thfe2.1960.4503259

J. R. Lucas and . Minds, Minds, Machines and G??del, Philosophy, vol.1, issue.137, pp.112-137, 1961.
DOI : 10.1017/S0031819100057983

A. Lüdtke, J. Osterloh, and F. Frische, Multi?criteria evaluation of aircraft cockpit systems by model?based simulation of pilot performance, Proceedings of ERTS -Embedded Real Time Software and Systems, p.2012, 2012.

W. E. Mackay, The interactive thread, Proceedings of the 2004 conference on Designing interactive systems processes, practices, methods, and techniques, DIS '04, 2004.
DOI : 10.1145/1013115.1013131

W. S. Mcculloch and W. Pitts, A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, pp.115-133, 1943.

R. Milner, A Calculus of Communicating Systems, 1980.
DOI : 10.1007/3-540-10235-3

B. A. Myers, A brief history of human-computer interaction technology, interactions, vol.5, issue.2, pp.44-54, 1998.
DOI : 10.1145/274430.274436

A. Newell, Physical Symbol Systems*, Cognitive Science, vol.19, issue.3, pp.135-183, 1980.
DOI : 10.1207/s15516709cog0402_2

A. Newell and H. A. Simon, Computer science as empirical inquiry: symbols and search, Communications of the ACM, vol.19, issue.3, pp.113-126, 1976.
DOI : 10.1145/360018.360022

R. Penrose, Shadows of the Mind, 1994.

R. Port and T. Van-gelder, Mind as Motion: Exploration in the Dynamics of Cognition, 1995.

H. Putnam, Minds and machines, Dimensions of Mind, 1960.
DOI : 10.1017/CBO9780511625251.020

Z. W. Pylyshyn, Computation and Cognition, 1984.

Y. Rogers, New theoretical approaches for human-computer interaction, Annual Review of Information Science and Technology, vol.18, issue.1, pp.87-143, 2004.
DOI : 10.1002/aris.1440380103

J. Searle, Minds, brains, and programs, Behavioral and Brain Sciences, vol.9, issue.03, pp.417-457, 1980.
DOI : 10.1080/00201747908601876
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.5248

J. Seibt, Forms of emergent interaction in General Process Theory, Synthese, vol.23, issue.3, pp.479-512, 2009.
DOI : 10.1007/s11229-008-9373-z

J. Seibt, Process philosophy, The Stanford Encyclopedia of Philosophy, 2013.

T. B. Sheridan, Task analysis, task allocation and supervisory control In Handbook of Human-Computer Interaction, 1997.

H. T. Siegelmann and E. Sontag, On the computational power of neural nets, Proceedings of the fifth annual workshop on Computational learning theory , COLT '92, pp.132-150, 1995.
DOI : 10.1145/130385.130432

W. Singer, Neuronal Synchrony: A Versatile Code for the Definition of Relations?, Neuron, vol.24, issue.1, pp.49-65, 1999.
DOI : 10.1016/S0896-6273(00)80821-1

L. A. Suchman, Plans and Situated Actions: The problem of human-machine communication, 1987.

E. Thompson, Life and Mind, 2007.
DOI : 10.1215/9780822391388-005

A. Turing, On computable numbers, with an application to the entscheidungsprobem, Proceedings of the London Mathematical Society, pp.42-230, 1936.

T. Van-gelder, It's about time: An overview of the dynamical approach to cognition, Mind as Motion: Exploration in the Dynamics of Cognition, 1995.

F. Varela, E. Thompson, and E. Rosch, The Embodied Mind: Cognitive Science and Human Experience, 1991.

A. H. Vera and H. A. Simon, Situated Action: A Symbolic Interpretation, Cognitive Science, vol.2, issue.1, pp.7-48, 1993.
DOI : 10.1207/s15516709cog1701_2

P. Wegner, Why interaction is more powerful than algorithms, Communications of the ACM, vol.40, issue.5, pp.80-91, 1997.
DOI : 10.1145/253769.253801