Towards generic programming in Type Theory. Talk at the workshop TYPES 2002, Berg en Dal (2002)

by Marcin Benke