笑顔は野力
Embedded Files
Resercher in
Computer Science
Teacher and Researcher
Currently Postdoc @Mercatorum University
Main Academic Interests:
Rewriting | λ-calculus | Intersection Types |
CS Education Pedagogy
Main Academic Interests:
Rewriting | λ-calculus | Intersection Types |
CS Education Pedagogy
Service to the Community
Service to the Community
Page updated
Google Sites
Report abuse