May 2017

2 papers.

1. Categorical structures for type theory in univalent foundations
   Benedikt Ahrens, Peter LeFanu Lumsdaine and Vladimir Voevodsky · 1705.04310 · math.LO · CC BY 4.0
   24 definitions5 statements14 problems
2. Some homological properties of ideals with cohomological dimension one
   G. Pirmohammadi, K. Ahmadi Amoli and K. Bahmanpour · 1705.01594 · math.AC · CC BY 4.0
   17 statements17 proofs