Skip to content

Type-Theory of Parametric Algorithms with Restricted Computations.

Roussanka Loukanova

Year2020
ProceedingsDCAI

Browse the full DCAI paper archive.