Nominalization in Intensional Type Theory
Type
Conference paper [With referee]
Conference
IEEE Symposium on Logic in Computer Science - Short Presentation
Year
2006
pp.
1-2
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering