No.097 Seminar Details: Enhanced coinduction

Icon

Seminar Details : NII Shonan Meeting Seminar 097

Organizers

Shinya Katsumata, Kyoto University, Japan
Damien Pous, CNRS – ENS Lyon,  France
Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands

Category: Uncategorized

Tagged:

Comments are closed.