Cristin-resultat-ID: 1780440
Sist endret: 31. januar 2020, 15:52
NVI-rapporteringsår: 2019
Resultat
Vitenskapelig artikkel
2019

Constructive Reflectivity Principles for Regular Theories

Bidragsytere:
  • Henrik Forssell og
  • Peter Lefanu Lumsdaine

Tidsskrift

Journal of Symbolic Logic (JSL)
ISSN 0022-4812
e-ISSN 1943-5886
NVI-nivå 2
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2019
Volum: 84
Hefte: 4
Sider: 1348 - 1367

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85077375545

Beskrivelse Beskrivelse

Tittel

Constructive Reflectivity Principles for Regular Theories

Bidragsytere

Jon Henrik Forssell

Bidragsyterens navn vises på dette resultatet som Henrik Forssell
  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Institutt for matematikk og naturfag ved Universitetet i Sørøst-Norge

Peter Lefanu Lumsdaine

  • Tilknyttet:
    Forfatter
    ved Stockholms universitet
1 - 2 av 2