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: http://www.math.uio.no/~dnormann/lambda/lambda.html
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.