Mikkel Nygaard Ravn - Lecture Notes

Mikkel Nygaard Ravn, PhD
BRICS, Dept. of Computer Science,
University of Aarhus

Home ·
Teaching ·
Lecture notes ·
Research papers ·
Contact information ·

Lecture notes

Induktive og rekursive definitioner

Mikkel Nygaard. Course on discrete mathematics (dDM) at the Department of Computer Science, University of Aarhus. September 2003.
[ ps | pdf ]

Konkrete funktioner

Mikkel Nygaard. Course on discrete mathematics (dDM) at the Department of Computer Science, University of Aarhus. September 2003.
[ ps | pdf ]

Transition Systems

Mikkel Nygaard and Erik Meineche Schmidt. Course on algorithms and data structures (dADS) at the Department of Computer Science, University of Aarhus. DAIMI FN-64. March 2003.
[ ps | pdf | tex]

Does the Lambda Calculus Have Any Applications?

Mikkel Nygaard. Talk on March 7th, 2003 at a Junior Club meeting.
[ ps | pdf ]

Presheaf Semantics for HOPLA

Mikkel Nygaard. Talk on June 24th, 2002 at IT-C, Copenhagen.
[ ps | pdf ]

Presheaf Models and Process Calculi

Mikkel Nygaard. Seminar series May-June 2002 at DISI, University of Genova.
[ ps | pdf ]

Introduktion til transitionssystemer

Mikkel Nygaard and Erik Meineche Schmidt. Course on algorithms and data structures (dADS) at the Department of Computer Science, University of Aarhus. DAIMI FN-63. February 2001.
[ ps | pdf ]

Updated July 3rd, 2009.