Michel Bidoit

CNRS Senior Researcher

• Selected Publications

• Constructor-based Observational Logic
• The CoFI project
• CASL User Manual
• A CASL tutorial
• The IFIP WG 1.3 Working Group

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact