Extension of combinatory logic to a theory of combinatory representation

Autor: Weibel, Trudy
Zdroj: In Theoretical Computer Science 1992 97(1):157-173
Databáze: ScienceDirect