CORE

🇺🇦   make metadata, not war

    5 research outputs found

    The fine-structure of lambda calculus

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Pure OAI Repository

    The fine-structure of lambda calculus

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Repository TU/e
    Pure OAI Repository

    De Bruijn's syntax and reductional equivalence of lambda-terms

    Author
    Publication venue
    Association for Computing Machinery, Inc
    Publication date
    Field of study
    No full text
    Pure OAI Repository

    De Bruijn's syntax and reductional equivalence of lambda terms

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Heriot Watt Pure

    De Bruijn's syntax and reductional equivalence of lambda-terms

    Author
    Publication venue
    Association for Computing Machinery, Inc
    Publication date
    Field of study
    No full text
    corecore