Difference between revisions of "Ce tip are combinatorul Y ?"
Jump to navigation
Jump to search
(No difference)
|
Revision as of 05:35, 31 May 2009
Niciunul. Combinatorului Y , din teoria lambda calculului netipizat nu i se poate atribui un tip in teoria lambda calculului tipizat.
De altfel s-a mai intrebat despre asa ceva ...