Skip to content

Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.

Axel Poign

VenueASTACS
Year1984
ProceedingsSTACS

Browse the full STACS paper archive.