Fausk, Halvard
- T-model structures
2005/11/02 by Halvard Fausk, Daniel C. Isaksen, Fausk, Halvard +1 · 1 citation
Computer Science · Mathematics · #55P42 (Primary) 18E30 #55U35 (Secondary) #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems