Nominalization in Intensional Type Theory



TypeConference paper [With referee]
ConferenceIEEE Symposium on Logic in Computer Science - Short Presentation
Year2006    pp. 1-2
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering