Parameters in Pure Type Systems

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

Research output: Contribution to conferencePaper

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

Bloo, R., Kamareddine, F. D., Laan, T., & Nederpelt, R. (2002). Parameters in Pure Type Systems. 371-385. Paper presented at LNCS, .