Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

Original language	English
Title of host publication	publisher
Publication date	1999
Pages	19-24
Publication status	Published - 1999
Event	Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1 - Duration: 29 Nov 2010 → …

Conference	Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1
Period	29/11/2010 → …

Cite this

@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",

}