Algorithmic Dependent-Type Theory of Situated Information and Context Assessments.

Roussanka Loukanova

Browse the full DCAI paper archive.