Login / Signup

Division by Two, in Homotopy Type Theory.

Samuel MimramÉmile Oleon
Published in: FSCD (2022)
Keyphrases
  • theoretical framework
  • theoretical basis
  • computational model
  • social networks
  • multiscale
  • formal theory