Topics in Programming Languages

**Assignments: homeworks with exercises.
It is required to submit 80%.
The final grade = 20%homework+80% home exam.
**

**Requirements: Discrete Math, Logic.
**

**Literature:**

Carl Gunter. Semantics of Programming Languages.

J. Mitchel. Foundations for Programming languages.

B. Pierce, Types and programming languages.

H. Barendreqt . The Lambda Calculus.

J. Hindley and P. Seldin. Introduction to combiators and lambda calculus.

Peyton Jones.

Implementing Functional Languages.

B. A. Trakhtenbrot.

Comparing the Church and Turing approaches: Two
Prophetical messages.
In The Unuversal Turing Machine - A Half Century
Survey.
Edited by R. Herken.

M. Hennessy.

Slides on Bisimulation

**Homeworks**

Homework 2.

**Lecture notes **

Lecture 3 .

Lecture 4 .

Lecture 5 .

Lecture 5/12/04 .

Lecture 19/12/04 .