Skip to main content (Press Enter)

Queen's University

Outlook MyQueensU onQ

Queen's School of Computing

Toggle navigation

About
Contact Us
557 Goodwin Hall
Queen's University
Kingston, Ontario, Canada
K7L 2N8

Phone: (613) 533-6050

Give to Computing
The School Student Life Outreach EDII

Events
There are no events scheduled at this time.
Please check again later.
News

Remembering Tom Bradshaw

QSC Students Win Best Project Award at GeekPeek by Canadian Centre for Cyber Security

School of Computing Awards 2021

School of Computing Completes Virtual Signing Ceremony with Canadian University Dubai

School of Computing Alumni Omar El Akkad Wins the Giller Prize!
Testimonials
I can meet computing students in most of my classes and we usually sit together and help each other.-- Jung H. Oh
Undergraduate

Fundamental Computation

Software Design

Game Development

Artificial Intelligence

Computing, Mathematics and Analytics

Data Analytics

Security

Biomedical Computation

Questions?

Karen Knight is our Undergraduate Program Assistant and she's here to help with your questions about our undergraduate program.

Email Karen

All Programs Timeline Apply Enrolment News Courses Learning Outcomes

Finances Professional Internships Research Academic Advising FAQ How Can We Help?
Graduate

Master's (MSc) Program

Biomedical Informatics Program

Doctoral (PhD) Program

Field of Study in Artificial Intelligence

NSERC CREATE Cybersecurity Program

NSERC CREATE Program in Medical Informatics

Questions?

Debby Robertson is our Graduate Program Assistant, and she’s here to help with your questions about our graduate program.

Email Debby

Apply Courses Finances Academic Policies

Defense Procedures FAQ How Can We Help? QGCS Graduate Handbook
Research

Theory of Computation

Software Engineering

Human Computer Interaction and Gaming

Artificial Intelligence

Systems and Networks

Data Analytics

Security

Biomedical Computing

Questions?

Nancy Churchman is our Research Manager, and she’s here to help with your questions about our research.

Email Nancy

Research Faculty Research Groups Seminars Technical Reports

Field of Study in Artificial Intelligence NSERC CREATE Cybersecurity Program NSERC CREATE Program in Medical Informatics
People

Director

Hossam
Hassanein

Manager

Robin
Tippett
Technology Manager

Ben
Hall

Undergraduate Chair

Yuanzhu
Chen
Graduate Chair

Mohammad
Zulkernine

Faculty Cross-Appointed Faculty Admin Staff Tech Staff Research Adjuncts Research Staff

View All People

Graduate Course

CISC 865 - Introduction to Programming-Language Theory

Description

The language of while programs. Programming logics. Operational and denotational semantics. The typed and untyped lambda calculi. Recursive definitions and domain theory. Full abstraction. Three term-hours; lectures and seminars.

Prerequisite

CISC 222/260 and CISC 202, or permission of the School.

External Links

Queen's Academic Calendar

557 Goodwin Hall
Queen's University
Kingston, Ontario, Canada
K7L 2N8

Internal Site Employment (internal) Employment (external)

Queen’s University is situated on traditional Anishinaabe and Haudenosaunee Territory.