ITU

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationInternational Joint Conference on Automated Reasoning (IJCAR)
Number of pages14
PublisherSpringer
Publication date2010
Pages1
Chapter14
Publication statusPublished - 2010
SeriesLecture Notes in Computer Science
Number6173

ID: 31647269