50003: Added notes to readmes

Author: OliverKillane

50003 - Models of Computation/50003 - Models of Computation.pdf

@@ -21,5 +21,4 @@ Upon successful competition of this module a student will be able to:
 - Dr Azalea Raad [First Half]
 - Dr Herbert Wiklicky [Second Half]
 
-## Resources
-
+[Back to main notes](../README.md)

50003 - Models of Computation/README.md

@@ -199,5 +199,8 @@ \section{Program Semantics}
 \begin{definitionbox}{Operational Semantics}
     Program's meaning is given in terms of the steps taken to make it run.
 \end{definitionbox}
-
+\begin{sidenotebox}{60007 - The Theory and Practice of Concurrent Programming}
+	The third-year concurrency module uses both operational and denotational semantics to reason about the correctness of concurrent programs, and possible executions under different memory models (see notes \href{https://oliverkillane.github.io/Imperial-Computing-Notes/60007%20-%20Theory%20and%20Practice%20of%20Concurrent%20Programming/}{here}).
+\end{sidenotebox}
 \noindent There are also \textit{axiomatic semantics} and \textit{declarative semantics} but we will not cover them here.
+

50003 - Models of Computation/introduction/introduction.tex

@@ -1,7 +1,7 @@
 \chapter{Lambda Calculus}
 
 \begin{sidenotebox}{Type Systems for Programming Languages}
-    The third-year type systems module contains an introduction to lambda calculus that can be found \href{https://oliverkillane.github.io/Imperial-Computing-Notes/60023%20-%20Type%20Systems%20for%20Programming%20Languages/60023%20-%20Type%20Systems%20for%20Programming%20Languages.pdf}{here}. 
+    The third-year type systems module contains an introduction to lambda calculus that can be found \href{https://oliverkillane.github.io/Imperial-Computing-Notes/60023%20-%20Type%20Systems%20for%20Programming%20Languages/}{here}. 
 \end{sidenotebox}
 
 \section{Lambda Calculus}

50003 - Models of Computation/lambda_calculus/lambda_calculus.tex

@@ -6,6 +6,7 @@ This repo is the collection of notes for my chosen third year modules.
 It is designed as an improvement in quality over the [second year repo](https://github.com/OliverKillane/Imperial-Computing-Year-2-Notes).
 
 ## Where are the notes!
+- [50003 - Models of Computation](50003%20-%20Models%20of%20Computation)
 - [50008 - Probability and Statistics](50008%20-%20Probability%20and%20Statistics)
 - [60001 - Advanced Computer Architecture](60001%20-%20Advanced%20Computer%20Architecture)
 - [60007 - Theory and Practice of Concurrent Programming](60007%20-%20Theory%20and%20Practice%20of%20Concurrent%20Programming)