On Encoding the Pi-calculus in Higher-Order Calculi

Mikkel Bundgaard, Thomas Hildebrandt, Jens Christian Godskesen

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

Original languageEnglish
Place of PublicationIT University of Copenhagen
PublisherIT-Universitetet i København
VolumeTR-2008-106
Number of pages24
ISBN (Print)978-87-7949-165-6
Publication statusPublished - 2008
SeriesIT University Technical Report Series
ISSN1600-6100

Cite this