Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus: Dual Identity Combinators

Home: Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus: Dual Identity Combinators

URL: http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm

Description: Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic.

Detailed Traffic Statistic From Alexa

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people