User Tools

Site Tools


plc16:lecture_3

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 [[http://www.cl.cam.ac.uk/teaching/0809/Semantics/notes-mono.pdf |notes]] on semantics - [[https://en.wikipedia.org/wiki/Rule_of_inference|Rules of Inference]] on Wikipedia.

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