RISC Talk Announcement
Speaker:
Kenji Miyamoto, Ludwig-Maximilians-University, Munich, Germany
Title:
Program Extraction from Coinductive Proofs
Date:
15.01. 2014 11:00--12:30
Location:
RISC Seminar room pond
Abstract:
VCAL file: