脡惫猫苍别尘别苍迟
芦听Model of linear logic based on von Neumann modules听禄
Mardi, 9 诲茅肠别尘产谤别, 2008 14:30
Pavillon Burnside
805, rue Sherbrooke Ouest, Montr茅al, QC, H3A 0B9, CA
Nous construisons un mod猫le du fragment multiplicatif additif de la logique lin茅aire au moyen d'alg猫bres de von Neumann et de leurs modules.
Cliquez sur 芦 English听禄, en haut 脿 droite de cette page, pour plus d'informations.
听