Masahito Hasegawa – författare
Visar alla böcker från författaren Masahito Hasegawa. Handla med fri frakt och snabb leverans.
4 produkter
Models of Sharing Graphs
A Categorical Semantics of let and letrec
E-bok, 2012
755 kr
Lägg i varukorg
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 …
Models of Sharing Graphs
A Categorical Semantics of let and letrec
Häftad, 2011
568 kr
Lägg i varukorg
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 …
Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
Häftad, 2013
509 kr
Lägg i varukorg
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 …
Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
E-bok, 2013
670 kr
Lägg i varukorg
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 …
