Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings
- 1 January 1978
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 81 (3) , 348-356
- https://doi.org/10.1016/1385-7258(78)90052-5
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: