Hyperformulae, parallel deductions and intersection types

Electronic Notes in Theoretical Computer Science

Volumn 50, Issue 2, 2001, Pages 178-195

  Capitani, Beatrice ^a   Loreti, Michele ^b   Venneri, Betti ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; ENCODING (SYMBOLS); FORMAL LOGIC; MATHEMATICAL OPERATORS; SET THEORY; SYNTACTICS; THEOREM PROVING;

CURRY-HOWARD APPROACH; LAMBDA CALCULUS; PARALLEL DEDUCTIONS; PROOF-THEORETIC OPERATORS;

LOGIC PROGRAMMING;

EID: 18944389798     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00172-0     Document Type: Conference Paper

References (9)

1. Avron A. Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence. 4:(3-4):1991;225-248
2. Avron A. The method of hypersequents in the proof theory of propositional non-classical logics. Hodges Wilfrid, Hyland Martin, Steinhorn Charles, Truss John. Logic: from foundations to applications. Proc. Logic Colloquium, Keele, UK, 1993. 1996;1-32 Oxford University Press, New York
3. Barendregt H.P. The Lambda-Calculus: Its Syntax and Semantics. 1980;North-Holland, Amsterdam
4. Barendregt H.P. Lambda calculi with types. Gabbai D.M., Abramski Samson, Maiboum T.S.E. Handbook of Logic in Computer Science. 1992;Oxford University Press, Oxford
5. Barendregt Henk, Coppo Mario, Dezani-Ciancaglini Mariangiola. A filter lambda model and the completeness of type assignment. The Journal of Symbolic Logic. 48:(4):December 1983;931-940
6. Coppo M., Dezani-Ciancaglini M. A new type assignment for lambda-terms. Archive f. math. Logic u. Grundlagenforschung. 19:1979;139-156
7. Coppo M., Dezani-Ciancaglini M., Venneri B. Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 27:1981;45-58
8. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall, Englewood Cliffs (NJ), USA
9. Venneri B. Intersection types as logical formulae. Journal of Logic and Computation. 4:(2):April 1994;109-124