A Typed Foundation for Directional Logic Programming (via veqq) — discussion

#ai #pdf #plt