Refining the Barendregt Cube using Parameters

Research output: Contribution to conference › Paper › peer-review

7   Link opens in a new tab 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