Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

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