The following pages link to HoTTSQL (Q39200):
Displaying 6 items.
- A Coq formalisation of SQL's execution engines (Q1791148) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- A formalization of SQL with nulls (Q2102947) (← links)
- Certified Graph View Maintenance with Regular Datalog (Q4559800) (← links)
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)