Sumários
Lab Session 12: Second Project
14 junho 2023, 17:30 • Carolina Carreira
Students worked on their solutions to the second project.
Lab Session 12: Second Project
14 junho 2023, 16:00 • Carolina Carreira
Students worked on their solutions to the second project.
Lab Session 12: Second Project
14 junho 2023, 14:30 • Henrique Botelho Guerra
Students worked on their solutions to the second project.
Lecture 12 slides: STLC and Typechecking
14 junho 2023, 11:00 • João Fernando Ferreira
Encoding in Coq of the Simply Typed Lambda Calculus.
Encoding of a typechecking algorithm.
Discussion on the soundness and completeness of the typechecking algorithm.
Extensions of the Simply Typed Lambda Calculus.
Lab Session 11: Lambda Calculus
7 junho 2023, 17:30 • Marcelo Mouta
Exercises on the Untyped Lambda Calculus.
Encoding the Simply Typed Lambda Calculus.