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
    Event21st Annual IEEE Symposium on Logic in Computer Science - Seattle, United States
    Duration: 12 Aug 200615 Aug 2006
    Conference number: 21
    https://ieeexplore.ieee.org/xpl/conhome/11132/proceeding

    Conference

    Conference21st Annual IEEE Symposium on Logic in Computer Science
    Number21
    Country/TerritoryUnited States
    CitySeattle
    Period12/08/200615/08/2006
    Internet address

    Cite this