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

Fern'andez, M. and Mackie, I. and Severi, P. and Szasz, N. (2002) A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types. In: Proc. of the XXVIII Conferencia Latinoamericana de Informatica, (CLEI'02), Montevideo.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	123
Deposited By:	Dr Maribel Fernandez
Deposited On:	25 Oct 2007 16:17
Last Modified:	01 Nov 2007 18:24

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007