`Travelled to:`

1 × Finland

1 × United Kingdom

2 × The Netherlands

`Collaborated with:`

∅ T.Kurata A.K.Joshi L.S.Levy

`Talks about:`

represent (2) function (2) system (2) tree (2) set (2) intersect (1) tranform (1) structur (1) recogniz (1) properti (1)

## Person: Masako Takahashi

### DBLP: Takahashi:Masako

### Contributed to:

### Wrote 7 papers:

- FLOPS-1998-Takahashi #revisited
- λ-representable Functions over Free Structures Revisited (MT), pp. 1–19.
- FLOPS-J1-1998-Takahashi01 #algebra
- λ-Representable Functions Over Term Algebras (MT), pp. 3–29.
- TLCA-1995-KurataT #decidability #type system
- Decidable Properties of Intersection Type Systems (TK, MT), pp. 297–311.
- TLCA-1993-Takahashi #λ-calculus
- λ-Calculi with Conditional Rules (MT), pp. 406–417.
- ICALP-1977-Takahashi
- Rational relations of Binary Trees (MT), pp. 524–538.
- ICALP-1972-JoshiLT #generative
- A Tree Generating System (AKJ, LSL, MT), pp. 453–465.
- ICALP-1972-Takahashi #set
- Primitive Tranformations of Regular Sets and Recognizable Sets (MT), pp. 475–480.