Nombre de documents

6

CV de Simone Martini


Communication dans un congrès2 documents

Article dans une revue4 documents

  • Ugo Dal Lago, Simone Martini, Davide Sangiorgi. Light Logics and Higher-Order Processes. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (06), pp.969 - 992. <10.1017/S0960129514000310>. <hal-01400903>
  • Ugo Dal Lago, Simone Martini, Davide Sangiorgi. Light Logics and Higher-Order Processes. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013. <hal-00909315>
  • Simone Martini. Lingua Universalis. Annali della Pubblica Istruzione, Le Monnier, 2012, 4-5, pp.65--70. <hal-00909609>
  • Ugo Dal Lago, Simone Martini. On Constructor Rewrite Systems and the Lambda Calculus. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (3). <hal-00909372>