Web Directory

    Top: Science: Math: Logic_and_Foundations: Computational_Logic: Combinatory_Logic_and_Lambda_Calculus:

 

Dual Identity Combinators

  Link Details for: Dual Identity Combinators
Link Title: Dual Identity Combinators Open in a new window
Link URL: http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
Link Details: 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.
Category: Top : Science : Math : Logic_and_Foundations : Computational_Logic : Combinatory_Logic_and_Lambda_Calculus
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Dual Identity Combinators