Till sidans topp

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

Tipsa en vän
Utskriftsversion

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

Type Theory and Formalisation of Mathematics

Paper i proceeding
Författare Thierry Coquand
Publicerad i Lecture Notes in Computer Science
ISBN 978-3-319-58747-9
ISSN 0302-9743
Förlag Springer
Publiceringsår 2017
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Länkar dx.doi.org/10.1007/978-3-319-58747-...
Ämneskategorier Programvaruteknik

Sammanfattning

It is difficult to overestimate the importance of modularity for specifying and reasoning about software [1], or for checking large and complex mathematical arguments [8-10]. The goal of this presentation is to explain in what way a recent development in type theory, the formulation of the axiom of univalence, addresses these modularity issues.

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?