Article or book title, author's surname, DOI

S.V. Kosikov

С.В. Косиков

1 articles 2024

2024

  1. Domain-specific type systems in the church and curry formalism Information-measuring and Control Systems, No. 5, 2024 pp. 39-45