Cargando…
Conference on Geometric Analysis &Conference on Type Theory, Homotopy Theory and Univalent Foundations : Extended Abstracts Fall 2013
The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven...
| Autores principales: | , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2015
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-21284-5 http://cds.cern.ch/record/2113190 |