Parameters in Pure Type Systems

R Bloo, Fairouz Dib Kamareddine, T Laan, R Nederpelt

Research output: Contribution to conferencePaperpeer-review

2 Citations (Scopus)
Original languageEnglish
Pages371-385
Number of pages15
Publication statusPublished - 2002
EventLNCS -
Duration: 1 Jan 2002 → …

Conference

ConferenceLNCS
Period1/01/02 → …

Cite this