A Tutorial on Proof Theoretic Foundations of Logic Programming

A Tutorial on Proof Theoretic Foundations of Logic Programming. Paola Bruscoli and Alessio Guglielmi. ICLP'03.

I just glanced through this tutorial, but since I know quite a few LtU readers are into proof theory, I thought I'd share the link.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Old links

This article has been cited at least once before:

I have the idea that I posted a "double-whammy" story, linking to this (Alessio and Paola are my colleagues) as well as to the PDF of Girard et al's Proof and Types, but I couldn't find it.

It sure looked familar...

But I decide that if I am not sure I read it before, I should mention it again...