Simon Huber

Doktor vid Datavetenskap

Kontaktuppgifter

Publikationer (3)
Projekt (0)

Visar 3 publikationer

2022

Canonicity and homotopy canonicity for cubical type theory

Thierry Coquand, Simon Huber, Christian Sattler

Logical Methods in Computer Science. Vol. 18 (1)

Artikel i vetenskaplig tidskrift

Visa projekt

2019

Homotopy canonicity for cubical type theory

Thierry Coquand, Simon Huber, Christian Sattler

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 131, p. 11:1-11:23

Paper i proceeding

2019

Gluing for type theory

Ambrus Kaposi, Simon Huber, Christian Sattler

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 131, p. 25:1-25:19

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Simon Huber medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.