HoTTSQL
From MaRDI portal
Software:39200
swMATH27484MaRDI QIDQ39200FDOQ39200
Author name not available (Why is that?)
Cited In (6)
- A formalization of SQL with nulls
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types
- A Coq formalisation of SQL's execution engines
- Strongly-Normalizing Higher-Order Relational Queries
- Propositional and predicate logics of incomplete information
- Certified Graph View Maintenance with Regular Datalog
This page was built for software: HoTTSQL
