Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12
Författare |
Andreas Abel |
---|---|
Publicerad i | 24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018. |
Publiceringsår | 2018 |
Publicerad vid |
Institutionen för data- och informationsteknik (GU) Institutionen för data- och informationsteknik, datavetenskap (GU) |
Språk | en |
Länkar |
https://types2018.projj.eu/ |
Ämneskategorier | Teoretisk datalogi |