Lambda Representation of Operations Between Fifferent Term Algebras.

Marek Zaionc

Browse the full CSL paper archive.