Свойства бестиповых систем комбинаторной логикидоклад на конференции