Pure type systems with explicit substitution

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)
Original languageEnglish
Pages (from-to)3-19
JournalMathematical Structures in Computer Science
Volume11
Issue number1
DOIs
Publication statusPublished - 2001

Cite this