Travelled to:1 × Denmark
1 × France
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Italy
2 × Japan
2 × USA
Collaborated with:∅ Y.Kakutani Y.Ohta Y.Kameyama A.Barber P.Gardner G.D.Plotkin
Talks about:linear (7) logic (3) categori (2) calculus (2) control (2) continu (2) calculi (2) recurs (2) cyclic (2) call (2)
Person: Masahito Hasegawa
DBLP: Hasegawa:Masahito
Facilitated 1 volumes:
EdContributed to:
2006
2005
2004
20032003
20022002
2001199919971997Wrote 11 papers:
- RTA-2006-OhtaH #confluence #linear #λ-calculus
- A Terminating and Confluent Linear λ Calculus (YO, MH), pp. 166–180.
- LICS-2005-Hasegawa #parametricity #relational
- Relational Parametricity and Control (MH), pp. 72–81.
- FLOPS-2004-Hasegawa #call-by #continuation #linear #semantics
- Semantics of Linear Continuation-Passing in Call-by-Name (MH), pp. 229–243.
- ICFP-2003-KameyamaH #axiom #continuation
- A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.
- TLCA-2003-KakutaniH #category theory #fixpoint
- Parameterizations and Fixed-Point Operators on Control Categories (YK, MH), pp. 180–194.
- CSL-2002-Hasegawa #linear #logic
- Classical Linear Logic of Implications (MH), pp. 458–472.
- FLOPS-2002-Hasegawa #continuation #linear #monad #λ-calculus
- Linearly Used Effects: Monadic and CPS Transformations into the Linear λ Calculus (MH), pp. 167–182.
- FoSSaCS-2001-HasegawaK #axiom #call-by #recursion
- Axioms for Recursion in Call-by-Value (MH, YK), pp. 246–260.
- TLCA-1999-Hasegawa #linear #logic
- Logical Predicates for Intuitionistic Linear Type Theories (MH), pp. 198–212.
- CSL-1997-BarberGHP #calculus #linear #logic
- From Action Calculi to Linear Logic (AB, PG, MH, GDP), pp. 78–97.
- TLCA-1997-Hasegawa #category theory #modelling #recursion #λ-calculus
- Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic λ Calculi (MH), pp. 196–213.