Cristin-resultat-ID: 1609976
Sist endret: 3. juli 2019, 13:55
NVI-rapporteringsår: 2019
Resultat
Vitenskapelig artikkel
2019

Multisets in type theory

Bidragsytere:
  • Håkon Robbestad Gylterud

Tidsskrift

Mathematical proceedings of the Cambridge Philosophical Society (Print)
ISSN 0305-0041
e-ISSN 1469-8064
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2019
Sider: 1 - 18

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85063638365

Beskrivelse Beskrivelse

Tittel

Multisets in type theory

Bidragsytere

Håkon Robbestad Gylterud

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen
1 - 1 av 1