User Tools

Site Tools


plc16:lecture_3

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Last revision Both sides next revision
plc16:lecture_3 [2016/08/29 12:23]
hossein created
plc16:lecture_3 [2016/08/29 12:48]
hossein
Line 6: Line 6:
  
 === Optional Readings === === Optional Readings ===
-  - Chapter 1 from  [[http://​www.cl.cam.ac.uk/​teaching/​0809/​Semantics/​notes-mono.pdf +  - Chapter 1 from Peter Sewell'​s ​[[http://​www.cl.cam.ac.uk/​teaching/​0809/​Semantics/​notes-mono.pdf 
-|Peter Sewell]]'s notes on semantics ​+|notes]]  on semantics ​
   - [[https://​en.wikipedia.org/​wiki/​Rule_of_inference|Rules of Inference]] on Wikipedia.   - [[https://​en.wikipedia.org/​wiki/​Rule_of_inference|Rules of Inference]] on Wikipedia.
plc16/lecture_3.txt · Last modified: 2016/08/29 12:49 by hossein