Authors: Simpson, Carlos
Contributors: Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Simons Collaboration on Homological Mirror Symmetry, Institute for Advanced Study, Princeton, ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019), European Project: 670624,H2020,ERC-2014-ADG,DuaLL(2015)
Superior Title: https://hal.science/hal-04288750 ; 2023.
Subject Terms: Connection, Formal neighborhood, Groupoid, Harmonic bundle, Hecke transformation, Higgs bundle, Logarithmic differential, Moduli space, Representation, Residue, Riemann-Hilbert correspondence, Twistor space, [MATH]Mathematics [math]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2303.13947; info:eu-repo/grantAgreement//670624/EU/Duality in Formal Languages and Logic - a unifying approach to complexity and semantics/DuaLL; hal-04288750; https://hal.science/hal-04288750; ARXIV: 2303.13947
Availability: https://hal.science/hal-04288750
Authors: Bordg, Anthony
Contributors: Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France, André Hirschowitz
Superior Title: https://hal.science/tel-01294040 ; Mathematics [math]. Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France, 2015. English. ⟨NNT : ⟩.
Subject Terms:
Univalent Foundations, Homotopy Type Theory, type-theoretic fibration category, universe, groupoid, involution, Fondations Univalentes, Théorie des types homotopiques,
Relation: tel-01294040; https://hal.science/tel-01294040; https://hal.science/tel-01294040v2/document; https://hal.science/tel-01294040v2/file/PhD.pdf
Availability:
https://hal.science/tel-01294040
https://hal.science/tel-01294040v2/document
https://hal.science/tel-01294040v2/file/PhD.pdf