In this lecture we consider goal-directed proof search as the foundation of linear logic programming. In order to allow both declarative and operational readings of a program, we restrict ourselves to ...

The practices were implemented in the Algorithm and Programming course and the Computer Programming II course. Three video lecture types (instructor-whiteboard, instructor voice-handbook, ...