Differences

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

--- teaching:cc71y:2014-2 [2014/10/29 17:13] – etanter
+++ teaching:cc71y:2014-2 [2014/11/19 19:41] – etanter
@@ Line 35: / Line 35: @@
 |           |//Trailer:// subtipos |TAPL 15 |{{teaching:cc71y:subtyping.pdf}} ||
 | M 29 Oct  |Tipos graduales |{{teaching:cc71y:gradual.pdf}}|{{teaching:cc71y:siek-gradual.pdf}}|
-| L 3 Nov  ||||
+| L 3 Nov  |Lógica proposicional y deducción natural|{{teaching:cc71y:natded.pdf}}||
-| M 5 Nov  ||||
+|          |Curry-Howard: proposiciones como tipos|{{teaching:cc71y:pap.pdf}}|{{teaching:cc71y:wadler-pat.pdf}}|
-| L 10 Nov  ||||
+| M 5 Nov  |[[http://en.wikipedia.org/wiki/Lambda_cube|Lambda-cube]]|||
-| M 12 Nov  ||||
+|          |Intro a Coq||{{teaching:cc71y:Vectors.v}}|
-| L 17 Nov  ||||
+| 10/12 Nov  |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http://www.cis.upenn.edu/~bcpierce/sf/current/index.html|Software Foundations]] //|||
-| M 19 Nov  ||||
+| L 17 Nov  |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching:cc71y:CC71-1.v}}|
+| M 19 Nov  |Compilador y demostración de correctitud|CPDT 2.1|{{teaching:cc71y:CC71-2.v}}|
+| M 3 Dec | Mini-conferencia Lenguajes II |||