Refining the Barendregt Cube using Parameters

Fairouz Dib Kamareddine, T Laan, R Nederpelt

Research output: Contribution to conferencePaper

5 Citations (Scopus)
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