Univalent Foundations Seminar
A Proof Assistant Prototype Based on Algebraic Effects and Handlers
Date & Time
March 21, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Affiliation
University of Ljubljana, Slovenia; Member, School of Mathematics