Typed lambda-calculus

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)


No abstract.
Original languageEnglish
Title of host publicationLogic : mathematics, language, computer science and philosophy, Volume II
EditorsH.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 PublicationFrankfurt am Main
PublisherPeter Lang
ISBN (Print)3-631-45435-X
Publication statusPublished - 1994


Dive into the research topics of 'Typed lambda-calculus'. Together they form a unique fingerprint.

Cite this