RISC RISC Research Institute for Symbolic Computation  

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: