Title: Models of Sharing Graphs: A Categorical Semantics of let and letrec, Author: Masahito Hasegawa
Title: Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings, Author: Masahito Hasegawa