Nominalization in Intensional Type Theory

Jørgen Villadsen (Invited author)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationIEEE Symposium on Logic in Computer Science - Short Presentation
    Publication date2006
    Publication statusPublished - 2006
    EventIEEE Symposium on Logic in Computer Science - Short Presentation -
    Duration: 1 Jan 2006 → …

    Conference

    ConferenceIEEE Symposium on Logic in Computer Science - Short Presentation
    Period01/01/2006 → …

    Cite this