论文信息 - A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types - 字舞流文

A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types

Ian Mackie | Paula Severi | Nora Szasz | Maribel Fernández | I. Mackie | P. Severi | Nora Szasz | M. Fernández