Travelled to:1 × France
1 × Spain
Collaborated with:∅ O.Takaki T.Seino N.Izumi K.Takahashi
Talks about:workflow (1) strcture (1) passback (1) parametr (1) qualiti (1) diagram (1) consist (1) axiomat (1) theori (1) system (1)
Person: Izumi Takeuti
DBLP: Takeuti:Izumi
Contributed to:
2008
1998
1997Wrote 3 papers:
- ICEIS-ISAS2-2008-TakakiSTIT #consistency #diagrams #quality #workflow
- Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency (OT, TS, IT, NI, KT), pp. 351–359.
- FLOPS-1998-Takeuti #type system
- A Type Theory for Cyclic Strcture (IT), pp. 207–226.
- TLCA-1997-Takeuti #axiom #parametricity
- An Axiomatic System of Parametricity (IT), pp. 354–372.