CORE

🇺🇦   make metadata, not war

    6 research outputs found

    Een aanzet tot bewijsanalyse

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

    Bewijszinnen

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    No abstract
    Repository TU/e
    Pure OAI Repository

    Some transformations on trees and codes which preserve equivalences of the type ((A∗B)∘C)∼((A∗C)∘B)((A\ast B)\circ C)\sim((A\ast C)\circ B)

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

    Presentation of natural deduction

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

    The number of numerical outcomes of iterated powers

    Author
    Publication venue
    'Cambridge University Press (CUP)'
    Publication date
    Field of study
    No full text
    No abstract
    Repository TU/e
    Pure OAI Repository

    Canonical typing and pi-conversion in the Barendregt cube

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    No full text
    Repository TU/e
    Pure OAI Repository
    corecore