Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Normalization by Evaluati… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Normalization by Evaluation for Sized Dependent Types

Konferensbidrag (offentliggjort, men ej förlagsutgivet)
Författare Andreas Abel
Andrea Vezzosi
Theo Winterhalter
Publicerad i 23nd International Conference on Types for Proofs and Programs (TYPES 2017), Budapest, Hungary, 29 May - 1 June 2017
Publiceringsår 2017
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk en
Länkar types2017.elte.hu/proc.pdf
Ämneskategorier Datavetenskap (datalogi), Programvaruteknik
Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?