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.