Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Technical Reports

BibTex in ASCII

@ARTICLE{bp:570, author = "Aleksandar Nanevski and Frank Pfenning and Brigitte Pientka", title = "Contextual modal type theory", pages = "1--49", journal = "ACM Transactions on Computational Logic", volume = "9", number = "3", year = 2008, note = "Nanevski:ICML05 "}