Semantics with Applications: An Appetizer (undergraduate Topics in Computer Science)Nielson et al. · Undergraduate Topics in Computer Science2007PDF2.3 MB
Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th BirthdaysProbst2016PDF21 MB
Two-level Functional Languages (cambridge Tracts in Theoretical Computer Science, Series Number 34)Nielson · Cambridge Tracts in Theoretical Computer Science 341992DJVU1.5 MB
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6{u2013}11, 2019, ProceedingsSands et al. · Lecture notes in computer science2002EPUB21 MB