Hanne Riis Nielson
4 published titles
Two-level functional languages
(Contributor)
1 edition
- ISBN: 9780521403849
- Cambridge University
- 2005
- Details
Semantics with applications : an appetizer
1 edition
- ISBN: 9781846286926
- Springer
- 2007
- Details
Secure IT systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642414879
- Springer
- 2013
- Details
Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
(Contributor)
1 edition
- ISBN: 9783319278094
- Springer
- 2016
- Details
