VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 ( - Calculus of functors - Document - PDFSEARCH.IO

First Page	Meta Content
	VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 ( Add to Reading List Document Date: 2000-01-23 09:46:11 Open Document File Size: 76,86 KB Share Result on Facebook Company Russell / / Country Italy / / Position abstractor / functional abstractor / / ProgrammingLanguage R / L / / SocialTag Model theory Combinatory logic Lambda calculus Logic in computer science Symbol Derivative Interpretation State space FO Mathematics

VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 (Add to Reading List