HoTTSQL
From MaRDI portal
Software:39200
No author found.
Related Items (6)
Strongly-Normalizing Higher-Order Relational Queries ⋮ Certified Graph View Maintenance with Regular Datalog ⋮ A Coq formalisation of SQL's execution engines ⋮ Propositional and predicate logics of incomplete information ⋮ Cubical Agda: A dependently typed programming language with univalence and higher inductive types ⋮ A formalization of SQL with nulls
This page was built for software: HoTTSQL