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

Anders Schack-Nielsen, Carsten Schürmann

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

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

Cite this