Till sidans topp

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

Tipsa en vän
Utskriftsversion

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

Constructive Type Theory

Kapitel i bok
Författare Aarne Ranta
Publicerad i The Handbook of Contemporary Semantic Theory
Sidor 345-380
ISBN 978-0-470-67073-6
Förlag Wiley Blackwell
Publiceringsår 2015
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Sidor 345-380
Språk en
Ämnesord type theory
Ämneskategorier Språkteknologi (språkvetenskaplig databehandling), Teoretisk datalogi, Lingvistik

Sammanfattning

This chapter is about the type theory created by Martin-Lof in a series of papers (Martin-Lof, 1972, 1975, 1982) and a book (Martin-Lof, 1984). Originally called intuitionistic type theory, a more common name is constructive type theory. Also the name Martin-Lof's type theory is used. If there is no risk of confusion, we will just write type theory when referring to this theory. Constructive type theory covers several aspects of logic and mathematics, which are usually treated in separate formalisms:• reasoning, subsuming an extension of predicate ...

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?