Michele Contente

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Temporal Reasoning

Clifford Algebra

Top Venues

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Publications

Michele Contente, Maria Emilia Maietti
The compatibility of the minimalist foundation with homotopy type theory. Theor. Comput. Sci. 991 (2024)
Francesco Ciraulo, Michele Contente
Overlap Algebras: a Constructive Look at Complete Boolean Algebras. Log. Methods Comput. Sci. 16 (1) (2020)
Francesco Ciraulo, Michele Contente
Overlap Algebras: a constructive look at complete Boolean algebras. CoRR (2019)