## 15-816 Linear Logic |

In this lecture we discuss how to interpret LLF signatures as linear logic programs. We demonstrate this logic programming interpretation of the framework using the example of Mini-ML with references from the previous lecture and the encoding of classical linear logic in LLF.

The underlying abstract machine interprets programs using two principles not yet discussed in class: Higher-order linear unification and uniform derivations in LLF. The following lectures will address these issues.

- Next: Lecture 24: Natural Deduction Revisited
- Previous: Lecture 22: Mini-ML with References
- Schedule

Carsten Schuermann carsten@cs.cmu.edu