An operational approach to program extraction in the Calculus of Constructions

Fern'andez, M. and Severi, P. (2002) An operational approach to program extraction in the Calculus of Constructions. In: Proc. of the Int. Workshop on Logic Based Program Development and Transformation (LOPSTR'02).

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	122
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