八杉 満利子
发表
八杉 満利子,
1993
.
An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)
八杉 満利子,
高木 理,
1999
.
Vasco Brattka,
八杉 満利子,
鷲原 雅子,
2002
.
八杉 満利子,
中田 昌宏,
実藤 法道,
1999
.