Showing 1 - 1 results of 1 for search 'Kevin Quirin', query time: 0.05s Refine Results
  1. 1
    Lawvere-Tierney sheafification in Homotopy Type Theory
    by Kevin Quirin, Nicolas Tabareau
    Published 2016-12-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search