Pure Type Systems with De Bruijn's indices

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)187-201
Number of pages15
JournalComputer Journal
Volume45
Issue number2
Publication statusPublished - 2002

Cite this