Kevin Quirin und Homotopy Type Theory - Info zur Person

(1 - 13 von 13

)

Publications of Nicolas Tabareauweb.imt-atlantique.fr › bib › Author › TABAREAU-N

web.imt-atlantique.fr

· Kevin Quirin and Nicolas Tabareau. Lawvere-Tierney sheafification in Homotopy Type Theory. Journal of Formalized Reasoning, 9(2),

Lawvere-Tierney sheafification in Homotopy Type Theory - STARjeannicod.ccsd.cnrs.fr › STAR

jeannicod.ccsd.cnrs.fr

Kevin Quirin 1, 2. Détails. 1 ASCOLA - Aspect and composition languages. Inria Rennes – Bretagne Atlantique , Département informatique - EMN, ...

Lawvere-Tierney Sheafification in Homotopy Type HoTT/UF - Inria

hott-uf.gforge.inria.fr

Kevin Quirin and. Nicolas Tabareau. Inria, Mines de. Nantes. Nantes, France. Introduction. The construction. Idea and context. Definitions. Separation. Sheafification. Consequences. Future works. References. Lawvere-Tierney Sheafification in Homotopy Type Theory. Kevin Quirin and Nicolas Tabareau.

Kevin Quirin - theses.frwww.theses.fr › ...

www.theses.fr

Lawvere-Tierney sheafification in Homotopy Type Theory. par Kevin Quirin sous la direction de Nicolas Tabareau - Nantes, Ecole des Mines ...

Alle Infos zum Namen "Kevin Quirin"

Lawvere-Tierney sheafification in Homotopy Type Theory - Hal-Inriahal.inria.fr › hal

hal.inria.fr

Lawvere-Tierney sheafification in Homotopy Type Theory. Kevin Quirin 1 Nicolas Tabareau 1. Détails. 1 ASCOLA - Aspect and composition languages.

Lawvere-Tierney sheafification in Homotopy Type Theory - Semantic ...www.semanticscholar.org › paper › Lawvere-Tierne...

www.semanticscholar.org

Kevin Quirin, Nicolas Tabareau; Published 2016; Mathematics, Computer Science; J. Formaliz. Reason. The main goal of this thesis is to define an extension ...

Lawvere-Tierney sheafification in Homotopy Type Theory - TELtel.archives-ouvertes.fr › tel

tel.archives-ouvertes.fr

Kevin Quirin 1, 2. Détails. 1 ASCOLA - Aspect and composition languages. LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique ...

Main/Formalizations - COST Action EUTypes CA15123eutypes.cs.ru.nl › Formalizations

eutypes.cs.ru.nl

Lawvere-Tierney sheafification in Homotopy Type Theory, Kevin Quirin PDF; Model structure on the universe in a two level type theory, Simon Boulier, ...

Lawvere-Tierney sheafification in Homotopy Type Theory - ProQuest

www.proquest.com

Lawvere-Tierney sheafification in Homotopy Type Theory Kevin Quirin École des Mines de Nantes, France and Nicolas Tabareau Inria, France Shea cation is a ...

Catalogue SUDOC

www.sudoc.abes.fr

Sudoc Catalogue :: - Livre / BookLawvere-Tierney sheafification in Homotopy Type Theory / Kevin Quirin ; sous la direction de André Hirschowitz.

Colimits in HoTT | Homotopy Type Theory

homotopytypetheory.org

In this post, I would want to present you two things: the small library about colimits that I formalized in Coq, a construction of the image of a function as a...

modal homotopy type theory in nLabncatlab.org › nlab › show › modal+homotopy+type...

ncatlab.org

· Kevin Quirin and Nicolas Tabareau, Lawvere-Tierney Sheafification in Homotopy Type Theory, Workshop talk (pdf), Kevin Quirin thesis.

Thesis

web.imt-atlantique.fr

Kevin Quirin. Lawvere-Tierney sheafification in Homotopy Type Theory. Theses, Ecole des Mines de Nantes, December Keyword(s): ...

Verwandte Suchanfragen zu Kevin Quirin

Personen
Vorname "Kevin" (32787)
Name "Quirin" (255)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Kevin Quirin und Homotopy Type Theory Person-Info