semilattices

There are 2 repositories under semilattices topic.

rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
Language:TeX393 43 215
Risto-Stevcev/idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
Language:Idris5 3 2