Cristin-resultat-ID: 1862636
Sist endret: 10. mars 2021, 08:41
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

Construction of the circle in UniMath

Bidragsytere:
  • Marc Bezem
  • Ulrik Buchholtz
  • Daniel R. Grayson og
  • Michael Shulman

Tidsskrift

Journal of Pure and Applied Algebra
ISSN 0022-4049
e-ISSN 1873-1376
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Volum: 225
Hefte: 10
Artikkelnummer: 106687

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85099615048

Beskrivelse Beskrivelse

Tittel

Construction of the circle in UniMath

Bidragsytere

Marc Bezem

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Ulrik Buchholtz

  • Tilknyttet:
    Forfatter
    ved Technische Universität Darmstadt

Dan Grayson

Bidragsyterens navn vises på dette resultatet som Daniel R. Grayson
  • Tilknyttet:
    Forfatter
    ved University of Illinois at Urbana-Champaign

Michael Shulman

  • Tilknyttet:
    Forfatter
    ved University of San Diego
1 - 4 av 4