Languages
Hasegawa, Masahito.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings /
by:
Hasegawa, Masahito.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)