Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms

Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms

Bibliographic Details
Main Author:	Longo, Guiseppe
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149018

Internet

https://hdl.handle.net/1721.1/149018