A Lambda calculus satellite
Author(s)
Bibliographic Information
A Lambda calculus satellite
(Studies in logic / series editor, Dov Gabbay, v. 94 . Mathematical logic and foundations)
College Publications, c2022
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index