Index of Papers in Categories and Logic Programming

Currently under construction...!

• A Fibrational Semantics for Logic Programs(1995, to appear in Proc. ELP96) ftp version