ML systems: A proof theory for contexts
distributed information-oriented theories
scientific article; zbMATH DE number 1880394