User Tools

Site Tools


This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

====== Lecture 3 ====== Lecture 3 {{ :plc16:lect3:main.pdf |}} In Lecture 3 we discussed the benefits of formal semantics and also we did some exercises on inference systems. === Optional Readings === - Chapter 1 from [[ |Peter Sewell]]'s notes on semantics - [[|Rules of Inference]] on Wikipedia.

plc16/lecture_3.1472487796.txt.gz · Last modified: 2016/08/29 12:23 by hossein