RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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: