Pages that link to "Item:Q1327384"

The following pages link to Logic programming in a fragment of intuitionistic linear logic (Q1327384):

Displaying 2 items.

• Logical approximation for program analysis (Q1929363) (← links)
• The Logic of Bunched Implications (Q4262604) (← links)