Program Extraction from Coinductive Proofs

Speaker: Kenji Miyamoto
Date: 15/01/2014
Time: 11:00 - 12:30

Location: RISC Seminar room pond