CORE

🇺🇦   make metadata, not war

    1 research outputs found

    About Systems of Equations, X-separability and Left-invertibility in the lambda-calculus

    Author
    Publication venue
    'Cambridge University Press (CUP)'
    Publication date
    Field of study
    No full text
    About Systems of Equations, X-separability and Left-invertibility in the lambda-calculu
    Archivio della ricerca- Università di Roma La Sapienza
    corecore