`Travelled to:`

1 × Cyprus

1 × USA

1 × United Kingdom

`Collaborated with:`

N.Tamura M.Banbara T.Hirai J.S.Hodas K.M.Watkins

`Talks about:`

logic (4) program (3) linear (3) languag (2) intuitionist (1) implement (1) fragment (1) classic (1) analysi (1) tempor (1)

## Person: Kyoung-Sun Kang

### DBLP: Kang:Kyoung=Sun

### Contributed to:

### Wrote 3 papers:

- ICLP-2001-BanbaraKHT #linear #logic programming
- Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic (MB, KSK, TH, NT), pp. 315–330.
- ICLP-1999-KangT #linear #logic programming #programming language #static analysis
- A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
- JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
- Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.