Standard
On Encoding the Pi-calculus in Higher-Order Calculi. / Bundgaard, Mikkel; Hildebrandt, Thomas; Godskesen, Jens Christian.
IT University of Copenhagen : IT-Universitetet i København, 2008. 24 p. (I T University. Technical Report Series).
Research output: Book/Report › Report › Research
Harvard
Bundgaard, M, Hildebrandt, T & Godskesen, JC 2008, On Encoding the Pi-calculus in Higher-Order Calculi. I T University. Technical Report Series, vol. TR-2008-106, IT-Universitetet i København, IT University of Copenhagen.
APA
Bundgaard, M., Hildebrandt, T., & Godskesen, J. C. (2008). On Encoding the Pi-calculus in Higher-Order Calculi. IT-Universitetet i København. I T University. Technical Report Series
Vancouver
Bundgaard M, Hildebrandt T, Godskesen JC. On Encoding the Pi-calculus in Higher-Order Calculi. IT University of Copenhagen: IT-Universitetet i København, 2008. 24 p. (I T University. Technical Report Series).
Author
Bundgaard, Mikkel ; Hildebrandt, Thomas ; Godskesen, Jens Christian. / On Encoding the Pi-calculus in Higher-Order Calculi. IT University of Copenhagen : IT-Universitetet i København, 2008. 24 p. (I T University. Technical Report Series).
Bibtex
@book{7f0a9b78d083455c894794d9fd17f856,
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 = "I T University. Technical Report Series",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
}
RIS
TY - RPRT
T1 - On Encoding the Pi-calculus in Higher-Order Calculi
AU - Bundgaard, Mikkel
AU - Hildebrandt, Thomas
AU - Godskesen, Jens Christian
N1 - "Technical repports" seriens ISBN numre er tilsyneladende ikke anmeldt (de er tildelt ITU ifølge dansk ISBN liste, men optræder ikke som "anvendt").
PY - 2008
Y1 - 2008
M3 - Report
SN - 978-87-7949-165-6
VL - TR-2008-106
T3 - I T University. Technical Report Series
BT - On Encoding the Pi-calculus in Higher-Order Calculi
PB - IT-Universitetet i København
CY - IT University of Copenhagen
ER -