Video From 13w5115: Bi-directional transformations (BX) – Theory and Applications Across Disciplines
Tuesday, December 3, 2013 09:25 - 09:35
Computability of Combinators

©2023 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.