Welcome to LDL! CafeOBJ Cube: (CafeOBJ official page) Slides for laboratory introduction (in Japanese)
Joint workWe are now working onDigital Rights: Consumers and Producers in a Digital World with Prof. Dines Bjørner. (the official home page) |
Welcome to LDL!CafeOBJ Cube: (CafeOBJ official page) Slides for laboratory introduction (in Japanese)
Joint workWe are now working onDigital Rights: Consumers and Producers in a Digital World with Prof. Dines Bjørner. (the official home page) |