158 

   159 @InProceedings{BengtsonParrow07,

   160   author    = {J.~Bengtson and J.~Parrow},

   161   title     = {Formalising the pi-{C}alculus using {N}ominal {L}ogic},

   162   booktitle = {Proc.~of the 10th FOSSACS Conference},

   163   year      = 2007,

   164   pages     = {63--77},

   165   series    = {LNCS},

   166   volume    = {4423}

   167 }

   168 

   169 @inproceedings{BengtsonParow09,

   170   author    = {J.~Bengtson and J.~Parrow},

   171   title     = {{P}si-{C}alculi in {I}sabelle},

   172   booktitle = {Proc of the 22nd TPHOLs Conference},

   173   year      = 2009,

   174   pages     = {99--114},

   175   series    = {LNCS},

   176   volume    = {5674}

   177 }

   178 

   179 @inproceedings{TobinHochstadtFelleisen08,

   180   author    = {S.~Tobin-Hochstadt and M.~Felleisen},

   181   booktitle = {Proc.~of the 35rd POPL Symposium},

   182   title     = {{T}he {D}esign and {I}mplementation of {T}yped {S}cheme},

   183   publisher = {ACM},

   184   year      = {2008},

   185   pages     = {395--406}

   186 }

   187 

   188 @InProceedings{UrbanCheneyBerghofer08,

   189   author = "C.~Urban and J.~Cheney and S.~Berghofer",

   190   title = "{M}echanizing the {M}etatheory of {LF}",

   191   pages = "45--56",

   192   year = 2008,

   193   booktitle = "Proc.~of the 23rd LICS Symposium"

   194 }

   195 

   196 @InProceedings{UrbanZhu08,

   197   title = "{R}evisiting {C}ut-{E}limination: {O}ne {D}ifficult {P}roof is {R}eally a {P}roof",

   198   author = "C.~Urban and B.~Zhu",

   199   booktitle = "Proc.~of the 9th RTA Conference",

   200   year = "2008",

   201   pages = "409--424",

   202   series = "LNCS",

   203   volume = 5117

   204 }