Dual Identity Combinators

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.

Rate This Site

More in Combinatory Logic and Lambda Calculus Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285752" title="Dual Identity Combinators"><img src="https://e-sygoing.link/badge.php?lid=5285752" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Dual Identity Combinators

Rate This Site

Submit Your Site

Related Links