Ki Yung Ahn

Name:	Ki Yung Ahn
Affiliation:	Portland State University, Portland, Oregon USA
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Fri Oct 21 14:15:51 +0000 2011

Public lists managed by Ki Yung Ahn

Talks given by Ki Yung Ahn

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• A Heirarchy of Mendler style Iteration/Recursion Combinators: taming recursive types with negative occurrences

Talks organised by Ki Yung Ahn

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Ki Yung Ahn actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.