Home

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.

By Ehud Lamm at 2005-03-20 22:17 | Logic/Declarative | Theory | other blogs | 9228 reads

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.

By Charles A Stewart at Mon, 2005-03-21 08:19 | login or register to post comments

It sure looked familar...

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

By Ehud Lamm at Mon, 2005-03-21 08:30 | login or register to post comments