成人VR视频

Minerva Class Scheduling Visit for course dates & times.

成人VR视频.ca / Vue d'ensemble / Summer Studies / Areas of Study / Summer 2022 Courses

Derni猫res mises 脿 jour en lien avec la COVID-19 disponibles ici.
Latest information about COVID-19 available here.

COMP 627 Theoretical Programming Languages (4 unit茅s)

important

Nota : Ceci est la version 2021鈥�2022 de l'annuaire 茅lectronique. Veuillez mettre 脿 jour l'ann茅e dans la barre d'adresse de votre navigateur pour une version plus r茅cente de cette page, ou .

Offered by: Informatique (Sciences)

Administered by: 脡tudes sup茅rieures et recherch

Vue d'ensemble

Informatique (Sci) : Programming language semantics. Lambda calculus, the Church Rosser theorem, typed lambda calculus, the strong normalization theorem, polymorphism, type inference, elements of domain theory, models of the lambda calculus, relating operational and denotational semantics, full abstraction. Reasoning about programs. Soundness and relative completeness of program logics.

Terms: This course is not scheduled for the 2021-2022 academic year.

Instructors: There are no professors associated with this course for the 2021-2022 academic year.

Back to top