LIBROS DEL AUTOR: masahito hasegawa

3 resultados para LIBROS DEL AUTOR: masahito hasegawa

masahito hasegawa Eliminar filtro Quitar filtros
  • Typed Lambda Calculi and Applications
    Masahito Hasegawa
    This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, an...
    Disponible

    87,34 €

  • Typed Lambda Calculi and Applications
    Masahito Hasegawa
    This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, an...
    Disponible

    47,98 €

  • Models of Sharing Graphs
    Masahito Hasegawa
    Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several...
    Disponible

    66,94 €