Till sidans topp

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

Tipsa en vän
Utskriftsversion

Type Theory with Weak J… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Type Theory with Weak J

Konferensbidrag (offentliggjort, men ej förlagsutgivet)
Författare Thorsten Altenkirch
Paolo Capriotti
Thierry Coquand
Nils Anders Danielsson
Simon Huber
Nicolai Kraus
Publicerad i 23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts
ISBN 978-963-284-883-9
Förlag Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University
Förlagsort Budapest, Hungary
Publiceringsår 2017
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap, programmeringslogik (GU)
Språk en
Länkar types2017.elte.hu/proc.pdf
https://gup.ub.gu.se/file/207359
Ä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/?languageId=100000&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fenglish%2Fresearch%2Fpublication%2F%3FpublicationId%3D266205&publicationId=266205
Utskriftsdatum: 2019-09-19