1. Homotopy type theory: Unified foundations of mathematics and computation;Steve Awodey;ACM SIGLOG News,2015
2. Applicative computations and applicative computational technologies;Larisa Ismailova;Life Science Journal,2014
3. Criteria for computational thinking in information and computational technologies;Larisa Ismailova;Life Science Journal,2014
4. L. Yu. Ismailova, S.V. Kosikov, K.E. Zinchenko, A.I. Mikhailov, L.V. Bourmistrova, and A.V. Berezovskaya. Equationally. expressed evaluation. In Proceedings of the 2000 9th International Workshop on Functional and Logic Programming. WFLP 2000, pages 135-143, Benicassim, Spain, September 2000. IEEE.
5. David I. Spivak and Ryan Wisnesky. Relational foundations for functorial data migration. In Proceedings of the 15th Symposium on Database Programming Languages, DBPL 2015, pages 21-28, New York, NY, USA, 2015. ACM.