Author: Capitani B. Loreti M. Venneri B.
Publisher: Elsevier
ISSN: 1571-0661
Source: Electronic Notes in Theoretical Computer Science, Vol.50, Iss.2, 2004-01, pp. : 1-18
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
Related content
By van Bakel
Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. :
Full Intersection Types and Topologies in Lambda Calculus
By Ghilezan S.
Journal of Computer and System Sciences, Vol. 62, Iss. 1, 2001-02 ,pp. :
Representing scope in intuitionistic deductions
By Stone M.
Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. :
The intersection of retracts of A *
Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. :
Substantial and formal deductions in logics with vector semantics
Automation and Remote Control, Vol. 68, Iss. 1, 2007-01 ,pp. :