Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics

Source URL: www.cse.chalmers.se

• Mathematical logic
• Mathematical constructivism
• Constructivism
• Type theory
• Mathematical proof
• Function
• Constructive proof
• Constructive set theory
• Mathematics
• Epistemology
• Logic

SEAA General Chair Jose Silva Matos (University of Porto, PT) SEAA Steering Committee Michel Chaudron (Chalmers & Gothenburg U, SE)

Source URL: paginas.fe.up.pt

• Dependability
• Quality
• Safety
• Institute of Electrical and Electronics Engineers
• Engineering
• Risk
• Computing
• International nongovernmental organizations
• Professional associations
• Standards organizations

A category of cubical sets Introduction This note presents a notion of cubical set and two structures that one can associate to these cubical sets: transport structure and composition structure. Any cubical set with a c

Source URL: www.cse.chalmers.se

• Algebraic topology
• Sheaf
• Differential topology
• Fiber bundles
• Grothendieck topology
• Jet bundle
• Topology
• Abstract algebra
• Mathematics

Chalmers tekniska högskola Institutionen för byggnadsmaterial Publikation P-01:5 Arb nr 583 EGENSKAPER OCH FUNKTION HOS FUKT- OCH

Source URL: www.fuktcentrum.lth.se

Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation

Source URL: www.cse.chalmers.se

• Type theory
• Dependently typed programming
• Logic in computer science
• Proof theory
• Mathematical constructivism
• Function
• Intuitionistic type theory
• Axiom of choice
• Constructible universe
• Mathematical logic
• Mathematics
• Logic

Th´ eorie des types d´ ependants et axiome d’univalence Thierry Coquand S´eminaire Bourbaki, 21 Juin 2014

Source URL: www.cse.chalmers.se

Univalent Foundation and Constructive Mathematics Thierry Coquand Oberwolfach, November 18, 2014 Univalent Foundation and Constructive Mathematics

Source URL: www.cse.chalmers.se

• Algebra
• Category theory
• Algebraic structures
• Higher category theory
• Groupoid
• Symmetry
• Constructivism
• Category
• Mathematical logic
• Abstract algebra
• Mathematics
• Homotopy theory

1 Anteckningar från konferensen Arena hållbar stad 6 – 8 november 2012 Delegationen för hållbara städer samarrangerade sin slutkonferens den 6 – 8 november i Göteborg på Chalmers med VINNOVA, Naturvårdsverke

Source URL: www.hallbarastader.gov.se

Mediating Exposure in Public Interactions Dan Chalmers Paul Calcraft Ciaran Fisher Luke Whiting

Source URL: www.cs.tut.fi

• Computing
• Virtual reality
• Social information processing
• Automatic identification and data capture
• Encodings
• QR code
• Human–computer interaction
• Comment
• Ubiquitous computing
• Scientific revolution
• Information
• Technology

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Source URL: www.cse.chalmers.se

• Set theory
• Principia Mathematica
• Science
• Function
• Type theory
• Extensionality
• Zermelo–Fraenkel set theory
• Logicism
• Mathematics
• Mathematical logic
• Logic