A Lambda calculus satellite

Author(s)

• Barendregt, H. P. (Hendrik Pieter)
• Manzonetto, Giulio

Bibliographic Information

A Lambda calculus satellite

Henk Barendregt, Giulio Manzonetto

（Studies in logic / series editor, Dov Gabbay, v. 94 . Mathematical logic and foundations）

College Publications, c2022

Note

Includes bibliographical references and index

Details

• NCID: BD04449854
• ISBN:
  • 9781848904248
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [London]
• Pages/Volumes: xvi, 582 p.
• Size: 27 cm
• Parent Bibliography ID:
  • BA82085144