Hugo Moeneclaey

Doctor at Computing Science

I am interested in type theory and its homotopical interpretations. At the moment I am mainly working on synthetic homotopy theory and synthetic algebraic geometry.

Source: chalmers.se

Contact Details

Showing 1 publications

2025

A Foundation for Synthetic Stone Duality

Felix Cherubini, Thierry Coquand, Freek Geerligs et al

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 336

Paper in proceeding

Download publication list

You can download this list to your computer.

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Hugo Moeneclaey participates, but you have to be logged in as a Chalmers employee to see them.