search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Logic and Semantics of Programming Languages #47

Open jff opened 5 years ago

jff commented 5 years ago

Issue by brijeshdongol Friday Apr 12, 2019 at 13:19 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/47

Course code, if applicable: CM30226 University hosting the course: Bath Contact person: ??? Concepts taught: Category theory, Simply typed lambda calculus, natural deduction, Curry-Howard isomorphism Tools used: Webpage: https://www.bath.ac.uk/catalogues/2020-2021/cm/CM30226.html Reviewed: 2021/06/25

jff commented 3 years ago

@brijeshdongol I updated the URL, but I can't find the module leader. Do you have that information?