Towards generic programming in type theory”, Presentation at Annual ESPRIT BRA TYPES Meeting, Berg en Dal, [submitted for publication, 2002]. Available via http://www.cs.chalmers.se/ ~marcin/Papers/Notes/nijmegen.ps.gz (0)

by M BENKE