Till sidans topp

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

Tipsa en vän
Utskriftsversion

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

Sprinkles of Extensionality for Your Vanilla Type Theory

Konferensbidrag (offentliggjort, men ej förlagsutgivet)
Författare Andreas Abel
Jesper Cockx
Publicerad i 22nd International Conference on Types for Proofs and Programs (TYPES 2016)
Publiceringsår 2016
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Ämneskategorier Teoretisk datalogi
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?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/publikation/?publicationId=249952
Utskriftsdatum: 2019-09-24