Hacker NewsFeb 24

ΛProlog: Logic programming in higher-order logic

https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/

#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

λProlog Home Page

RanaldCloustonNov 21, 2022
On my #blog , in which I try to write pithy summaries of major papers and books in my field, I attempt to say something meaningful in minimal space about the monumental 'Sketches of an Elephant' https://updatedscholar.blogspot.com/2022/11/discussing-sketches-of-elephant-topos.html #CategoryTheory #ToposTheory #topos #HigherOrderLogic
Discussing "Sketches of an Elephant: A Topos Theory Compendium"

Links: Volume 1 and Volume 2 Author: Peter T. Johnstone (University of Cambridge) Reference: Johnstone, Peter T., Sketches of an Elephan...