Summary: 



Sized (Co-)Inductive Types


With Applications to Generic Programming



Andreas Abel


ProgLog Seminar, April 5, 2006



1 Example: Generic Finite Maps

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences