A Resource Aware Computational Interpretation for Herbelin's Syntax.

Delia Kesner, Daniel Ventura

Browse the full ICTAC paper archive.