Dette emnet er nedlagt

Semesterside for INF5160 - Høst 2005

Important: Fall term will DBSEM INF 5160 be replaced/conjoined with a course on type theory given by Dag Normann at Institute for Mathematics: See:

Start 23/8-05 i B 62, Niels henrik Abels

Time: Tirsdag 12.15 - 15.00

Students in computer science can get 5 credits (5 studiepoeng) by writing an essay on a case study of type theory related to computer science. Contact Anders M. Hagalisletto or Olaf Owe for more details.

11. aug. 2005 15:36