Video From 13w5115: Bi-directional transformations (BX) – Theory and Applications Across Disciplines
Wednesday, December 4, 2013 09:19 - 09:36
Type Theory and Algebraic BX
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.