Home



NII Shonan Meeting:
Coinduction for computation structures and programming languages

Sun 6—Thu 10, Oct 2013

Shonan Village Center, Japan