Lars Birkedal
Professor, PhD
Dept. of Comp. Science, Aarhus University
birkedal@cs.au.dk
http://www.cs.au.dk/~birke


Contents:
Home
Publications
Talks
Ph.D. students
Post.Docs.
Teaching
Conferences
Editorial
Curriculum Vitæ
Realizability Bibliography