An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. - Jones calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Document Date: 2012-09-28 15:44:05 Open Document File Size: 476,86 KB Share Result on Facebook Company CSC / / IndustryTerm online copy / logical systems / / OperatingSystem Gnu / / Organization Csyntax / / Person Roger Bishop Jones / ION T WFCV / / ProgrammingLanguage Postscript / ML / Lambda Calculus / / URL http / SocialTag Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic

An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory.Add to Reading List