Subject Reduction of Logic Programs as Proof-Theoretic Property

14 years 3 days ago

We consider prescriptive type systems for logic programs (as in G

Pierre Deransart, Jan-Georg Smaus

JFLP 2002 | Logic Programs | Operational Property | Prescriptive Type Systems |

claim paper

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JFLP
Authors	Pierre Deransart, Jan-Georg Smaus

Comments (0)