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

Mogensen, Torben Ægidius. / Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1. publisher. 1999. pp. 19-24

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