Project

Dynamiek in de Typen-theorie: een logisch kader voor collectieve kennis en informatieverwerking