A non-uniform finitary relational semantics of system T

Author: Vaux Lionel  

Publisher: Edp Sciences

E-ISSN: 1290-385x|47|1|111-132

ISSN: 0988-3754

Source: RAIRO - Theoretical Informatics and Applications, Vol.47, Iss.1, 2013-02, pp. : 111-132

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

Abstract