Collaborated with:∅
Talks about:type (3) framework (1) theeori (1) theori (1) reason (1) martin (1) induct (1) equat (1) defin (1) open (1)
Person: Yasuyuki Tsukada
DBLP: Tsukada:Yasuyuki
Contributed to:
19982001Wrote 2 papers:
- FLOPS-1998-Tsukada #equation #reasoning
- Type-free Equational Reasoning in the Theeory of Inductively Defined Types (YT), pp. 227–246.
- FLOPS-J1-1998-Tsukada01 #framework #type system
- Martin-Löf’s Type Theory as an Open-Ended Framework (YT), pp. 31–67.