1,308 followers
RT @heades: Finally, logic programming in a way I can understand "A categorical model for logic programs: Indexed monoidal categories" http…
RT @heades: Finally, logic programming in a way I can understand "A categorical model for logic programs: Indexed monoidal categories" http…
Finally, logic programming in a way I can understand "A categorical model for logic programs: Indexed monoidal categories" https://t.co/Qjo83iEkPG