author = { Sironi, Eugenia Aix-Marseille AND Fouqueré, Christophe },

title = { Types in Ludics ; Types en ludique },

keywords = { Interaction , Computation , Thèorie de Types , Ludics , Canonical term , Type Theory , Martin-Lof , Ludique },

year = {2015-01-15},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }