(last modeified: 2009/3/25)
Japanese Version
Koki NISHIZAWA
(at München)
I am a lecturer of Department of Information Systems,
Faculty of Environmental and Information Studies,
Tottori University of Environmental Studies.
- CV
- E-mail Address: koki AT kankyo-u DOT ac DOT jp
- Current topics:
- Multirelations and Kleene algebras
- Multi-valued Logic
- Semantics of Logic, Programming Languages, and Reactive systems
- Abstraction and Refinement
- Algebraic structure, Lawvere theory, Sketch, Monad
- Enriched category theory
- Stone Duality
- Link: