GHC manual by prof Gontineac

The lambda calc. and GHC manual kindly offered by prof. Gontineac can be found in the section: "Carti publicate in limba romana".

Manualul de lambda calcul si GHC oferit cu amabilitate de profesorul Mihai Gontineac poate fi gasit in sectiunea: Carti publicate in limba romana.