ACM/IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Authors on this page:

• Kuen-Bang Hou (Favonia)

Kuen-Bang Hou (Favonia)

• Paper: Kuen-Bang Hou (Favonia) Eric Finster Daniel R. Licata Peter LeFanu Lumsdaine
  A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory (LICS 2016) More Information...
• Paper: Ulrik Buchholtz Kuen-Bang Hou (Favonia)
  Cellular Cohomology in Homotopy Type Theory (LICS 2018) More Information...