Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 3, Issue C, 1996, Pages 154-

  Okada, Mitsuhiro ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; THEOREM PROVING;

GIRARD PHASE SEMANTICS; LINEAR LOGIC; LOGICAL SYSTEMS; PROOF-NORMALIZATION THEOREM;

SEMANTICS;

EID: 19144372424     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80414-1     Document Type: Article

References (0)