Technical correspondence: a correction to the denotational semantics for the Prolog of Nicholson and Foo

• Authors:

• Alan Finlay;Lloyd Allison

• Affiliations:

• Monash Univ.;Monash Univ.

• Venue:
• ACM Transactions on Programming Languages and Systems (TOPLAS)
• Year:
• 1993