[PRL] Hello and thanks

Kenichi Asai asai at ccs.neu.edu
Fri Apr 15 01:23:12 EDT 2005


Dear PRL folks,

It was really nice for me to be in the PL group in Northeastern.  I
enjoyed the stay very much, I could see the top researches going on,
and I could see various interesting courses, too.  Thank you all for
supports and interesting discussions.

I am now back in Japan and returned to my old life.  I miss Boston
and PRL people very much, but I think I can visit Boston in the
future, and I hope to see you somewhere in the world.

Thanks again.

-- 
Kenichi
http://pllab.is.ocha.ac.jp/~asai/


PS.  I recently wrote a paper "Logical Relations for Call-by-value
lambda-calculus with Shift and Reset," which summarizes what I was
doing for the last several months.  It is available at:

http://pllab.is.ocha.ac.jp/~asai/papers/draft05.ps.gz

Any comments are welcome!



More information about the PRL mailing list