semilattices

There are 1 repository under semilattices topic.

• rntz / datafun

  Research on integrating datalog & lambda calculus via monotonicity types

  programming-languagedatalogquerymonotonicitysemilatticestype-theorycompiler
  Language:TeX 385

• Risto-Stevcev / idris-heyting-algebra

  Interfaces for heyting algebras and verified bounded join and meet semilattices

  idrisheyting-algebrasheytingalgebraalgebrasjoinmeetlatticesemilatticelatticessemilatticesbounded
  Language:Idris 5