Parameters in Pure Type Systems

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

Research output: Contribution to conferencePaper

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, .
Bloo, R ; Kamareddine, Fairouz Dib ; Laan, T ; Nederpelt, R. / Parameters in Pure Type Systems. Paper presented at LNCS, .15 p.
@conference{3b235ac1e26a4926b951ca943ff2cf99,
title = "Parameters in Pure Type Systems",
author = "R Bloo and Kamareddine, {Fairouz Dib} and T Laan and R Nederpelt",
year = "2002",
language = "English",
pages = "371--385",
note = "LNCS ; Conference date: 01-01-2002",

}

Bloo, R, Kamareddine, FD, Laan, T & Nederpelt, R 2002, 'Parameters in Pure Type Systems', Paper presented at LNCS, 1/01/02 pp. 371-385.

Parameters in Pure Type Systems. / Bloo, R; Kamareddine, Fairouz Dib; Laan, T; Nederpelt, R.

2002. 371-385 Paper presented at LNCS, .

Research output: Contribution to conferencePaper

TY - CONF

T1 - Parameters in Pure Type Systems

AU - Bloo, R

AU - Kamareddine, Fairouz Dib

AU - Laan, T

AU - Nederpelt, R

PY - 2002

Y1 - 2002

M3 - Paper

SP - 371

EP - 385

ER -

Bloo R, Kamareddine FD, Laan T, Nederpelt R. Parameters in Pure Type Systems. 2002. Paper presented at LNCS, .