H. P. Barendregt, The Lambda calculus: Its syntax and semantics, 1984.

J. Bengtson, M. Johansson, J. Parrow, and &. Victor, Psi-calculi: a framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, pp.10-2168, 2011.
DOI : 10.2168/LMCS-7(1:11)2011

G. Berry and &. Boudol, The Chemical Abstract Machine, Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '90, pp.81-9410, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075426

G. S. Boolos, J. P. Burgess, and &. C. Jeffrey, Computability and Logic, pp.10-1017, 2007.
DOI : 10.1017/cbo9781139164931

URL : http://dx.doi.org/10.1016/0166-218x(90)90034-a

H. B. Curry and &. R. Feys, Combinatory Logic. I, North-Holland, 1958.

T. Given-wilson, Concurrent Pattern Unification, 2012.

T. Given-wilson and D. Gorla, Pattern Matching and Bisimulation, Coordination Models and Languages, pp.60-74, 2013.
DOI : 10.1007/978-3-642-38493-6_5

URL : https://hal.archives-ouvertes.fr/hal-01486035

T. Given-wilson, D. Gorla, and &. Jay, Concurrent Pattern Calculus, Theoretical Computer Science, IFIP Advances in Information and Communication Technology, pp.244-258, 2010.
DOI : 10.1007/978-3-642-15240-5_18

URL : https://hal.archives-ouvertes.fr/hal-01054456

T. Given-wilson, D. Gorla, and &. Jay, A Concurrent Pattern Calculus. To appear in: Logical Methods in Computer Science, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00987578

B. Jay and &. Thomas-given-wilson, Abstract, The Journal of Symbolic Logic, vol.2, issue.03, pp.807-826, 2011.
DOI : 10.1145/321738.321750

S. C. Kleene, Introduction to Metamathematics. North-Holland (originally published by D. Van Nos- trand), 1952.

J. Mccarthy, Recursive functions symbolic expressions and their computation by machine, Part I, Communications of the ACM, vol.3, issue.4, pp.184-19510, 1960.
DOI : 10.1145/367177.367199

R. Milner, Functions as processes, Automata, Languages and Programming, pp.167-18010, 1990.
DOI : 10.1007/BFb0032030

URL : https://hal.archives-ouvertes.fr/inria-00075405

R. Milner, Communicating and mobile systems -the Pi-calculus, 1999.

R. Milner, J. Parrow, and &. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-4010, 1992.
DOI : 10.1016/0890-5401(92)90008-4

R. Milner, J. Parrow, and &. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.41-7710, 1992.
DOI : 10.1016/0890-5401(92)90009-5

J. Parrow and &. B. Victor, The fusion calculus: expressiveness and symmetry in mobile processes, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.176-18510, 1998.
DOI : 10.1109/LICS.1998.705654

M. Schönfinkel, ???ber die Bausteine der mathematischen Logik, Mathematische Annalen, vol.92, issue.3-4, pp.305-31610, 1924.
DOI : 10.1007/BF01448013

A. Tarski, Logic, semantics, metamathematics. In: Intentions in Communication, pp.325-363, 1956.

A. M. Turing, On Computable Numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, vol.2, issue.42, pp.230-265, 1936.

A. M. Turing, Computability and ??-definability, The Journal of Symbolic Logic, vol.42, issue.04, pp.153-16310, 1937.
DOI : 10.2307/2371045