Nominalization in Intensional Type Theory

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	IEEE Symposium on Logic in Computer Science - Short Presentation
Publication date	2006
Publication status	Published - 2006
Event	21st Annual IEEE Symposium on Logic in Computer Science - Seattle, United States Duration: 12 Aug 2006 → 15 Aug 2006 Conference number: 21 https://ieeexplore.ieee.org/xpl/conhome/11132/proceeding

Conference	21st Annual IEEE Symposium on Logic in Computer Science
Number	21
Country/Territory	United States
City	Seattle
Period	12/08/2006 → 15/08/2006
Internet address	https://ieeexplore.ieee.org/xpl/conhome/11132/proceeding

OpenUrl availability

@inproceedings{3170f43fb0754f598ba82d9486572088,

title = "Nominalization in Intensional Type Theory",

author = "J{\o}rgen Villadsen",

year = "2006",

language = "English",

booktitle = "IEEE Symposium on Logic in Computer Science - Short Presentation",

note = "21st Annual IEEE Symposium on Logic in Computer Science, LICS'06 ; Conference date: 12-08-2006 Through 15-08-2006",

url = "https://ieeexplore.ieee.org/xpl/conhome/11132/proceeding",

}