- Lambda Calculus as a Tool for Metaprogramming in C++2018 | Faculty of Mathematics and Physics
- Translating Lambda Calculus into C++ Templates2021 | Faculty of Mathematics and Physics
- XML Query Evaluation Using a Lambda-Calculus Based Framework2009 | Faculty of Mathematics and Physics
- Lambda calculusPublication without faculty affiliation
- Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming2014 | Faculty of Mathematics and Physics
- Generating Lambda Term Individuals in Typed Genetic Programming Using Forgetful A*2014 | Faculty of Mathematics and Physics
- Data Integration in a Multi-model Environment2023 | Faculty of Mathematics and Physics
- Additive Types in Quantitative Type Theory2022 | Faculty of Mathematics and Physics
- Functional Querying in Graph Databases +12017 | Faculty of Mathematics and Physics
- Towards conceptual and logical modelling of NoSQL databases2022 | Faculty of Mathematics and Physics
- JSON Functionally2020 | Faculty of Mathematics and Physics
- Towards Conceptual and Logical Modelling of NoSQL Databases2021 | Faculty of Mathematics and Physics
- XML-lambda: an Extendible Framework for Manipulating XML Data2002 | Publication without faculty affiliation
- XML functionally2000 | Faculty of Mathematics and Physics
- Integration of Relational and Graph Databases Functionally2019 | Faculty of Mathematics and Physics
- On the Denotational Semantics of XML-Lambda2010 | Faculty of Mathematics and Physics
- Relatively terminal coalgebras2012 | Faculty of Mathematics and Physics