Refining the Barendregt Cube using Parameters

Fairouz Dib Kamareddine, T Laan, R Nederpelt

Research output: Contribution to conferencePaper

Original languageEnglish
Pages375-389
Number of pages15
Publication statusPublished - 2001
EventFifth International Symposium on Functional and Log Programming -
Duration: 1 Jan 2001 → …

Conference

ConferenceFifth International Symposium on Functional and Log Programming
Abbreviated titleFLOPS 2001
Period1/01/01 → …
OtherLecture Notes in Computrer Science 2024, Springer-Verlag.

Cite this

Kamareddine, F. D., Laan, T., & Nederpelt, R. (2001). Refining the Barendregt Cube using Parameters. 375-389. Paper presented at Fifth International Symposium on Functional and Log Programming, .
Kamareddine, Fairouz Dib ; Laan, T ; Nederpelt, R. / Refining the Barendregt Cube using Parameters. Paper presented at Fifth International Symposium on Functional and Log Programming, .15 p.
@conference{31da10b5a4d44f54809281d02ddc7927,
title = "Refining the Barendregt Cube using Parameters",
author = "Kamareddine, {Fairouz Dib} and T Laan and R Nederpelt",
year = "2001",
language = "English",
pages = "375--389",
note = "Fifth International Symposium on Functional and Log Programming, FLOPS 2001 ; Conference date: 01-01-2001",

}

Kamareddine, FD, Laan, T & Nederpelt, R 2001, 'Refining the Barendregt Cube using Parameters' Paper presented at Fifth International Symposium on Functional and Log Programming, 1/01/01, pp. 375-389.

Refining the Barendregt Cube using Parameters. / Kamareddine, Fairouz Dib; Laan, T; Nederpelt, R.

2001. 375-389 Paper presented at Fifth International Symposium on Functional and Log Programming, .

Research output: Contribution to conferencePaper

TY - CONF

T1 - Refining the Barendregt Cube using Parameters

AU - Kamareddine, Fairouz Dib

AU - Laan, T

AU - Nederpelt, R

PY - 2001

Y1 - 2001

M3 - Paper

SP - 375

EP - 389

ER -

Kamareddine FD, Laan T, Nederpelt R. Refining the Barendregt Cube using Parameters. 2001. Paper presented at Fifth International Symposium on Functional and Log Programming, .