CORE

🇺🇦   make metadata, not war

    3 research outputs found

    A simple model construction for the Calculus of Constructions

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Contains fulltext : 28269.pdf (preprint version ) (Open Access
    CiteSeerX
    Pure OAI Repository
    Radboud Repository

    A simple model construction for the Calculus of Constructions

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    No full text
    Crossref
    corecore