Demonstrating lambda calculus reduction

P. Sestoft, D. Schmidt, I.H. Sudburough T. Mogensen (Redaktør)

Publikation: Bog/antologi/afhandling/rapport › Kompendium/lecture notes

Originalsprog	Engelsk

Kode for udgivelsesland: 'de' Kode for bibliotekets beholdning: 'ikke modtaget'

Adgang til dokumentet

@book{b267db50a1bb11ddb6ae000ea68e967b,

title = "Demonstrating lambda calculus reduction",

author = "P. Sestoft",

editor = "{T. Mogensen}, {D. Schmidt, I.H. Sudburough}",

note = "Kode for udgivelsesland: 'de' Kode for bibliotekets beholdning: 'ikke modtaget'",

year = "2002",

language = "English",

publisher = "Springer",

address = "Switzerland",

edition = "2566",

}