CORE

🇺🇦   make metadata, not war

    133 research outputs found

    Non well-foundedness and type freeness can unify the interpretation of functional application

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

    Are types needed for natural languages?

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

    Set theory and nominalisation, part 2

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

    Canonical typing and pi-conversion

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

    A semantics for a fine lambda-calculus with de Bruijn indices

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

    A unified approach to type theory through a refined lambda-calculus

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

    A useful lambda notation

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

    Canonical typing and pi-conversion

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

    Nominalization, predication and type containment

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

    The Barendregt cube with definitions and generalised reduction

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