Skip to content

Abstract Syntax and Variable Binding for Linear Binders.

Miki Tanaka

VenueBMFCS
Year2000
ProceedingsMFCS

Browse the full MFCS paper archive.