DSc Theses
- 2026
-
- Keisuke Hoshino
- A Homotopy Theory of Algebraic Higher Categories
- 2025
-
- Ryota Kojima
- Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking
- 2024
-
- Takahiro Sanada
- Algebraic effects and handlers for arrows
- Satoshi Nakata
- Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
- 2023
-
- Haruka Tomita
- Planar Realizability via Left and Right Applications
- 2022
-
- Kiraku Minami
- Trace Equivalence and Epistemic Logic to Express Security Properties
- 2021
-
- Hisashi Aratake
- Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem
- Yoji Fukijara
- Generalization of Bounded Linear Logic and its Categorical Semantics
- Takuma Imamura
- A nonstandard invariant of coarse spaces
- 2018
-
- Toru Takisaka
- Large Scale Geometries of Infinite Strings
- 2017
-
- Shota Motoura
- A General Framework for Dynamic Epistemic Logic
- Kei Matsumoto
- Coherence Spaces and Uniform Continuity
- 2015
-
- Tetsuya Sato
- Identifying All Preorders on the Subdistribution Monad
- 2011
-
- Naohiko Hoshino
- A modified GoI interpretation for a linear functional programming language
and its adequacy
- 2010
-
- Kenshi Miyabe
- An extension of van Lambalgen's Theorem to infinitely many relative
1-random reals
- 2009
-
- Kazuyuki Asada
- Extensional universal types for call-by-value
- 2007
-
- Keiko Nakata
- A Module System with Applicative Functors and Recursive Path References
- 2006
-
- Keisuke Nakano
- An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors
- 2003
-
- Yoshihiko Kakutani
- Duality between Call-by-Name Recursion and Call-by-Value Iteration
- 1999
-
- Masatomo Hashimoto
- First-Class Contexts in ML
- Makoto Tanabe
- Timed Petri Nets and Temporal Linear Logic
- 1997
-
- Yasuhiko Minamide
- Full Lifting of Type Parameters
- 1996
-
- Kohji Kagawa
- Mutable Data Structure and Composable References
in a Pure Functional Language
- Susumu Nishimura
- Strict Functional Language with Cyclic Recursive Data
- 1993
-
- Takashi Hattori
- Constraint Logic Programming with Priority
Research Institute for Mathematical Sciences, Kyoto University,
606-8502 Japan.