18May

index.html

@@ -323,7 +323,12 @@ <h5> TP Lectures </h5>
   </li>
   <li>
    <strong>May 5 (9-11h):</strong> 
-   Introduction to the Curry-Howard-Lambek isomorphism. The untyped lambda-calculus.
+   Introduction to the Curry-Howard-Lambek correspondence. The untyped lambda-calculus.
+  </li>
+  <li>
+   <strong>May 19 (9-11h):</strong> 
+   Simply typed lambda-calculus. The Curry-Howard correspondence with intuitionistic logic.
+   Revisiting Cartesian-closed categories. The exponential object. 
   </li>
 </ul>
 <!--
@@ -461,6 +466,12 @@ <h5> Lecture Notes / Exercises</h5>
 <li ><a href="LQ-CHL2.pdf">
     Lecture 11: An introduction to intuitionistic logic </a> 
 </li>
+<li ><a href="LQ-CHL3.pdf">
+    Lecture 12: Simply typed lambda calculus </a> 
+</li>
+<li ><a href="LQ-CHL4.pdf">
+    Lecture 13: The Curry-Howard-Lambek correspondence for classical computation </a> 
+</li>
 <!--
 
 <li ><a href="LQ-Processes6.pdf">
@@ -470,12 +481,7 @@ <h5> Lecture Notes / Exercises</h5>
     Lecture 11: Untyped lambda calculus </a> 
 </li>
 
-<li ><a href="LQ-CHL3.pdf">
-    Lecture 13: Simply typed lambda calculus </a> 
-</li>
-<li ><a href="LQ-CHL4.pdf">
-    Lecture 14: The Curry-Howard-Lambek correspondence for classical computation </a> 
-</li>
+
 <li ><a href="LQ-CHL5.pdf">
     Lecture 15: A quantum lambda calculus. The Curry-Howard-Lambek correspondence for quantum computation </a> 
 </li>
@@ -632,7 +638,7 @@ <h5><a name="Contacto"></a> Contacts </h5>
   <li> Lectures: T - Tuesday, 11-13 (Ed.3, 1.02)| TP Thursday 09-11 (Ed.1 1.22) 
   <li> Appointments: Wed, 18:00-20:00 (please send an email the day before) 
   <li> Email: lsb arroba di ponto uminho ponto pt
-  <li> Last update: 2022.05.17
+  <li> Last update: 2022.05.18
 </ul>
 
 <!--~~~~~~~~~~~~~~~~~~~~~~~-->
@@ -643,7 +649,7 @@ <h5><a name="Contacto"></a> Contacts </h5>
 
 <div class="panel-footer" id="wrapper-footer">
 <div id="footer">
-2022.05.17
+2022.05.18
 </div>
 </div>