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:96, author = "Aleksandar Nanevski and Frank Pfenning and Brigitte Pientka", title = "A contextual modal type theory", pages = "56", journal = "ACM Transactions on Computational Logic", year = 2006, note = "In Press"}