Research on integrating datalog and lambda calculus via monotonicity typesgithub.com/rntz1 pointtosh8 years ago