Yingfei Xiong, Video: Computability of Combinators

Yingfei Xiong, Video: Computability of Combinators

Yingfei Xiong, Computability of Combinators, Bi-directional transformations (BX) – Theory and Applications Across Disciplines, BIRS, BIRS talk, 13w5115, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

36M

http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos

http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312030925-Xiong.html