Mathematics of infinity

Constructive analysis, types and exact real numbers

Mathematical Structures in Computer Science

Insight in discrete geometry and computational content of a discrete model of the continuum

Pattern Recognition

Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions

IWCIA '09 Proceedings of the 13th International Workshop on Combinatorial Image Analysis

Two kinds of procedural semantics for privative modification

JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence

A co-inductive language and truth degrees

MOL'11 Proceedings of the 12th biennial conference on The mathematics of language

Ω-arithmetization of ellipses

CompIMAGE'10 Proceedings of the Second international conference on Computational Modeling of Objects Represented in Images

Yablo-Like paradoxes and co-induction

JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence

Formalizing Context in Intuitionistic Type Theory

Fundamenta Informaticae

Foundational aspects of multiscale digitization

Theoretical Computer Science