Space of Valuations
Författare och institution:
Thierry Coquand (Institutionen för data- och informationsteknik, datavetenskap, programmeringslogik (GU))
Publicerad i:
Annals of Pure and Applied Logic, 157 s. 97-109
Publikationstyp:
Artikel, refereegranskad vetenskaplig
Publiceringsår:
2009
Språk:
engelska
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Matematik ->
Annan matematik
Matematik ->
Annan matematik
Postens nummer:
111156
Posten skapad:
2010-01-28 22:36
Posten ändrad:
2011-04-20 16:31