System ST toward a type system for extraction and proofs of programs

Author: Raffalli C.  

Publisher: Elsevier

ISSN: 0168-0072

Source: Annals of Pure and Applied Logic, Vol.122, Iss.1, 2003-08, pp. : 107-130

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next