Homotopy type theory : Univalent foundations of mathematics /

Նմանատիպ նյութեր

• Homotopy theory of S-bimodules, naive ring spectra and stable model categories : Dissertation /
  : Weiner, Arne
  Հրապարակվել է: (2010)
• Asymptotic completeness in quantum field theory : Translation invariant Nelson type models restricted to the vacuum and one-particle sectors /
  : Gerard, Christian
  Հրապարակվել է: (2010)
• On hyperbolic type metrics /
  : Klen, Riku
  Հրապարակվել է: (2009)
• Singular perturbation theory : Mathematical and analytical techniques with applications to engineering /
  : Johnson, Robin Stanley, 1944-
  Հրապարակվել է: (2005)
• The Mathematical validity of the f(R) theory of modified gravity/
  : LeFloch, Philippe G.
  Հրապարակվել է: (2017)