-
Computational Paths – A Weak Groupoid
We use a labelled deduction system based on the concept of computational...
read it
-
Parametric Probabilistic Quantum Memory
Probabilistic Quantum Memory (PQM) is a data structure that computes the...
read it
-
A Topological Application of Labelled Natural Deduction
We use a labelled deduction system based on the concept of computational...
read it

Tiago M. L. Veras
is this you? claim profile