Kristian Støvring
发表
Kristian Støvring,
2006,
Nord. J. Comput..
Hongseok Yang,
Lars Birkedal,
Jan Schwinghammer,
2011,
POPL '11.
Andrzej Filinski,
Kristian Støvring,
2007,
ICFP '07.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2009,
FICS.
Olivier Danvy,
Malgorzata Biernacka,
Kristian Støvring,
2005,
MFPS.
Kristian Støvring,
Kristian Støvring,
2005,
Log. Methods Comput. Sci..
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2010,
Mathematical Structures in Computer Science.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2010,
Theor. Comput. Sci..
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2009,
TLDI '09.
Lars Birkedal,
Jan Schwinghammer,
Kristian Støvring,
2010,
FICS.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2009,
FoSSaCS.
Lars Birkedal,
Jan Schwinghammer,
Kristian Støvring,
2010,
FICS.
Hongseok Yang,
Lars Birkedal,
Jan Schwinghammer,
2013,
Math. Struct. Comput. Sci..
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2012,
J. Log. Algebraic Methods Program..
Kristian Støvring,
Søren B. Lassen,
2009,
Semantics and Algebraic Specification.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Jan Schwinghammer,
2011,
LICS.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Jan Schwinghammer,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Lars Birkedal,
Kristian Støvring,
Alexandre Buisse,
2011,
MFPS.
Kristian Støvring,
Soren Lassen,
2007
.
Olivier Danvy,
Malgorzata Biernacka,
Kristian Støvring,
2005
.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2010
.