Monads, predicates, and categorical logic programming

• Authors:

• James Lipton;Robert William Mcgrail

• Affiliations:

• -;-

• Venue:
• Monads, predicates, and categorical logic programming
• Year:
• 1999