Search Results - Kuen-Bang Hou

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Cellular Cohomology in Homotopy Type Theory

    Cellular Cohomology in Homotopy Type Theory by Ulrik Buchholtz, Kuen-Bang Hou

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Logarithm and program testing

    Logarithm and program testing by Hou (Favonia), Kuen-Bang, Wang, Zhuyang

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Syntax and models of Cartesian cubical type theory

    Syntax and models of Cartesian cubical type theory by Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    The RedPRL Proof Assistant (Invited Paper)

    The RedPRL Proof Assistant (Invited Paper) by Angiuli, Carlo, Cavallo, Evan, Hou (Favonia), Kuen-Bang, Harper, Robert, Sterling, Jonathan

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    An Order-Theoretic Analysis of Universe Polymorphism

    An Order-Theoretic Analysis of Universe Polymorphism by Hou (Favonia), Kuen-Bang, Angiuli, Carlo, Mullanix, Reed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Correctness of compiling polymorphism to dynamic typing

    Correctness of compiling polymorphism to dynamic typing by HOU (Favonia), KUEN-BANG, BENTON, NICK, HARPER, ROBERT

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Cellular Cohomology in Homotopy Type Theory

    Cellular Cohomology in Homotopy Type Theory by Buchholtz, Ulrik, Kuen-Bang Hou

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    The RedPRL Proof Assistant (Invited Paper)

    The RedPRL Proof Assistant (Invited Paper) by Angiuli, Carlo, Cavallo, Evan, Kuen-Bang Hou, Harper, Robert, Sterling, Jonathan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Cubical Computational Type Theory and RedPRL: Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

    Cubical Computational Type Theory and RedPRL: Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice by Hou (Favonia), Kuen-Bang

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Coslice Colimits in Homotopy Type Theory

    Coslice Colimits in Homotopy Type Theory by Hart, Perry, Kuen-Bang Hou

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory

    A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory by Hou Favonia, Kuen-Bang, Finster, Eric, Licata, Daniel R., Lumsdaine, Peter LeFanu

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Computational Higher Type Theory III: Univalent Universes and Exact Equality

    Computational Higher Type Theory III: Univalent Universes and Exact Equality by Angiuli, Carlo, Kuen-Bang Hou, Harper, Robert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    A Note on the Uniform Kan Condition in Nominal Cubical Sets

    A Note on the Uniform Kan Condition in Nominal Cubical Sets by Harper, Robert, Kuen-Bang Hou

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory

    A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory by Kuen-Bang Hou, Finster, Eric, Licata, Dan, Peter LeFanu Lumsdaine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: