Research on integrating datalog & lambda calculus via monotonicity types
Primary LanguageTeX
No issues in this repository yet.