@book{411f39e0830a11ddb116000ea68e967b,
title = "On Encoding the Pi-calculus in Higher-Order Calculi",
author = "Mikkel Bundgaard and Thomas Hildebrandt and Godskesen, {Jens Christian}",
note = "{"}Technical repports{"} seriens ISBN numre er tilsyneladende ikke anmeldt (de er tildelt ITU if{\o}lge dansk ISBN liste, men optr{\ae}der ikke som {"}anvendt{"}).",
year = "2008",
language = "English",
isbn = "978-87-7949-165-6",
volume = "TR-2008-106",
series = "IT University Technical Report Series",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
}