Jumbo Lambda-calculus

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages444-455
Number of pages12
Publication statusPublished - 1 Jan 2006
EventProceedings of 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006) -
Duration: 1 Jan 2006 → …

Conference

ConferenceProceedings of 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006)
Period1/01/06 → …

Cite this