Felix Cherubini

Doktor vid Computing Science

Källa: chalmers.se
gravatar.com image

Visar 2 publikationer

2024

Synthetic G-jet-structures in modal homotopy type theory

Felix Cherubini
Mathematical Structures in Computer Science. Vol. In Press
Artikel i vetenskaplig tidskrift
2024

A foundation for synthetic algebraic geometry

Felix Cherubini, Thierry Coquand, Matthias Hutzler
Mathematical Structures in Computer Science. Vol. In Press
Artikel i vetenskaplig tidskrift

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 Felix Cherubini medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.