Typed Norms for Typed Logic Programs.

Jonathan C. Martin, Andy King, Paul Soper

Browse the full LOPSTR paper archive.