luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods
33 stars 4 forks source link

Types and Lambda Calculus #46

Open brijeshdongol opened 5 years ago

brijeshdongol commented 5 years ago

Course code, if applicable: COMS30009 University hosting the course: University of Bristol Contact person: Steven Ramsay Concepts taught: Lambda calculus, Programming Languages, Type systems Tools used: Webpage: https://www.bris.ac.uk/unit-programme-catalogue/UnitDetails.jsa?ayrCode=19%2F20&unitCode=COMS30009