Open jff opened 5 years ago
Issue by brijeshdongol Friday Apr 12, 2019 at 13:14 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/46
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
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