BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Takeuti:Izumi

Contributed to:

ICEIS ISAS v2 20082008
FLOPS 19981998
TLCA 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.