Research on integrating datalog & lambda calculus via monotonicity types
No reviews for this project.