苹果淫院

Updated: Mon, 10/07/2024 - 21:42

From Saturday, Oct. 5 through Tuesday, Oct. 8, the Downtown and Macdonald Campuses will be open only to 苹果淫院 students, employees and essential visitors. Many classes will be held online. Remote work required where possible. See Campus Public Safety website for details.

Du samedi 5 octobre au mardi 8 octobre, le campus du centre-ville et le campus Macdonald ne seront accessibles qu鈥檃ux 茅tudiants et aux membres du personnel de l鈥橴niversit茅 苹果淫院, ainsi qu鈥檃ux visiteurs essentiels. De nombreux cours auront lieu en ligne. Le personnel devra travailler 脿 distance, si possible. Voir le site Web de la Direction de la protection et de la pr茅vention pour plus de d茅tails.

苹果淫院.ca / Vue d'ensemble / Tous les cours

COMP 627 Theoretical Programming Languages (4 unit茅s)

Nota : Ceci est la version 2012鈥�2013 de l鈥檃nnuaire 茅lectronique. Veuillez mettre 脿 jour l鈥檃nn茅e dans la barre d鈥檃dresse de votre navigateur pour une version plus r茅cente de cette page, ou cliquez聽ici pour consulter l'annuaire la plus r茅cente.

Offert par : Informatique (Sciences)

Administr茅 par 脡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.

Trimestres : Ce cours n鈥檈st pas au programme de l鈥檃nn茅e universitaire 2012-2013.

Charg茅s de cours : Aucun professeur n鈥檈st associ茅 脿 ce cours pour l鈥檃nn茅e universitaire 2012-2013.

Back to top