The Lambda calculus: Its syntax and semantics, 1984. ,
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
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
Computability and Logic, pp.10-1017, 2007. ,
DOI : 10.1017/cbo9781139164931
URL : http://dx.doi.org/10.1016/0166-218x(90)90034-a
Combinatory Logic. I, North-Holland, 1958. ,
Concurrent Pattern Unification, 2012. ,
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
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
A Concurrent Pattern Calculus. To appear in: Logical Methods in Computer Science, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00987578
Abstract, The Journal of Symbolic Logic, vol.2, issue.03, pp.807-826, 2011. ,
DOI : 10.1145/321738.321750
Introduction to Metamathematics. North-Holland (originally published by D. Van Nos- trand), 1952. ,
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
Functions as processes, Automata, Languages and Programming, pp.167-18010, 1990. ,
DOI : 10.1007/BFb0032030
URL : https://hal.archives-ouvertes.fr/inria-00075405
Communicating and mobile systems -the Pi-calculus, 1999. ,
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
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
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
???ber die Bausteine der mathematischen Logik, Mathematische Annalen, vol.92, issue.3-4, pp.305-31610, 1924. ,
DOI : 10.1007/BF01448013
Logic, semantics, metamathematics. In: Intentions in Communication, pp.325-363, 1956. ,
On Computable Numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, vol.2, issue.42, pp.230-265, 1936. ,
Computability and ??-definability, The Journal of Symbolic Logic, vol.42, issue.04, pp.153-16310, 1937. ,
DOI : 10.2307/2371045