Open brijeshdongol opened 5 years ago
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: http://www.bath.ac.uk/catalogues/2011-2012/cm/CM30226.htm
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: http://www.bath.ac.uk/catalogues/2011-2012/cm/CM30226.htm