Typed lambda-calculus

J.H. Geuvers; R.P. Nederpelt

Typed lambda-calculus

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

1 Downloads (Pure)

Abstract

No abstract.

Original language	English
Title of host publication	Logic : mathematics, language, computer science and philosophy, Volume II
Editors	H.C.M. Swart, de, J.H. Geuvers, R.P. Nederpelt, J.-J. Ch Meyer, R. Kuiper, W. Penczek, E.A. Kogel, de, W.M.J. Ophelders
Place of Publication	Frankfurt am Main
Publisher	Peter Lang
Pages	168-199
ISBN (Print)	3-631-45435-X
Publication status	Published - 1994

Cite this

@inbook{89abc92212814333b3d41b070542ca5a,

title = "Typed lambda-calculus",

abstract = "No abstract.",

author = "J.H. Geuvers and R.P. Nederpelt",

year = "1994",

language = "English",

isbn = "3-631-45435-X",

pages = "168--199",

editor = "\{Swart, de\}, H.C.M. and J.H. Geuvers and R.P. Nederpelt and Meyer, \{J.-J. Ch\} and R. Kuiper and W. Penczek and \{Kogel, de\}, E.A. and W.M.J. Ophelders",

booktitle = "Logic : mathematics, language, computer science and philosophy, Volume II",

publisher = "Peter Lang",

}

Typed lambda-calculus. / Geuvers, J.H.; Nederpelt, R.P.
Logic : mathematics, language, computer science and philosophy, Volume II. ed. / H.C.M. Swart, de; J.H. Geuvers; R.P. Nederpelt; J.-J. Ch Meyer; R. Kuiper; W. Penczek; E.A. Kogel, de; W.M.J. Ophelders. Frankfurt am Main: Peter Lang, 1994. p. 168-199.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - Typed lambda-calculus

AU - Geuvers, J.H.

AU - Nederpelt, R.P.

PY - 1994

Y1 - 1994

N2 - No abstract.

AB - No abstract.

M3 - Chapter

SN - 3-631-45435-X

SP - 168

EP - 199

BT - Logic : mathematics, language, computer science and philosophy, Volume II

A2 - Swart, de, H.C.M.

A2 - Geuvers, J.H.

A2 - Nederpelt, R.P.

A2 - Meyer, J.-J. Ch

A2 - Kuiper, R.

A2 - Penczek, W.

A2 - Kogel, de, E.A.

A2 - Ophelders, W.M.J.

PB - Peter Lang

CY - Frankfurt am Main

ER -

Typed lambda-calculus

Abstract

Fingerprint

Cite this