Foundations of Information Technologies

- FIT 2009 -

June 14-27, 2009, Novi Sad

General Information
Lecturers
Courses and Lecture Notes
Schedule
Committees
Application
Contact
Participants
Local Information
News

                  

 

                    

Coinduction in proof assistants

 

 Pierre Lescanne 

Coinduction is a method to define infinite objects and reason about them.  In this talk I will introduce the concept of coinduction,present its use in the proof assistant COQ and show examples of applications, especially in sequential game theory.
 

 

         Lecture notes.

 

         Slides.