Clones and Genoids in Lambda Calculus and First Order Logic
Logic in Computer Science
2012-09-10 v3 Programming Languages
Abstract
A genoid is a category of two objects such that one is the product of itself with the other. A genoid may be viewed as an abstract substitution algebra. It is a remarkable fact that such a simple concept can be applied to present a unified algebraic approach to lambda calculus and first order logic.
Keywords
Cite
@article{arxiv.0712.3088,
title = {Clones and Genoids in Lambda Calculus and First Order Logic},
author = {Zhaohua Luo},
journal= {arXiv preprint arXiv:0712.3088},
year = {2012}
}