ℹ️
🇬🇧
Search
Search for publications relevant for "typed lambda calculus"
typed lambda calculus
Publication
Class
Person
Publication
Programmes
publication
Data Integration in a Multi-model Environment
2023 |
Faculty of Mathematics and Physics
publication
Functional Querying in Graph Databases
+1
2017 |
Faculty of Mathematics and Physics
publication
Towards conceptual and logical modelling of NoSQL databases
2022 |
Faculty of Mathematics and Physics
publication
JSON Functionally
2020 |
Faculty of Mathematics and Physics
publication
Towards Conceptual and Logical Modelling of NoSQL Databases
2021 |
Faculty of Mathematics and Physics
publication
XML-lambda: an Extendible Framework for Manipulating XML Data
2002 |
Publication without faculty affiliation
publication
XML functionally
2000 |
Faculty of Mathematics and Physics
publication
Integration of Relational and Graph Databases Functionally
2019 |
Faculty of Mathematics and Physics
publication
XML Query Evaluation Using a Lambda-Calculus Based Framework
2009 |
Faculty of Mathematics and Physics
publication
On the Denotational Semantics of XML-Lambda
2010 |
Faculty of Mathematics and Physics
publication
Generating Lambda Term Individuals in Typed Genetic Programming Using Forgetful A*
2014 |
Faculty of Mathematics and Physics