Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Standard
Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1. / Mogensen, Torben Ægidius.
publisher. 1999. p. 19-24.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Harvard
Mogensen, TÆ 1999, Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1. in publisher. pp. 19-24, Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1, 29/11/2010.
APA
Mogensen, T. Æ. (1999). Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1. In publisher (pp. 19-24)
Vancouver
Mogensen TÆ. Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1. In publisher. 1999. p. 19-24
Author
Bibtex
@inproceedings{5217e580e65511deba73000ea68e967b,
title = "G{\"o}delisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1",
author = "Mogensen, {Torben {\AE}gidius}",
year = "1999",
language = "English",
pages = "19--24",
booktitle = "publisher",
note = "G{\"o}delisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1 ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1
AU - Mogensen, Torben Ægidius
PY - 1999
Y1 - 1999
M3 - Article in proceedings
SP - 19
EP - 24
BT - publisher
T2 - Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1
Y2 - 29 November 2010
ER -
ID: 16239514