1998•HAL (Le Centre pour la Communication Scientifique Directe)Requires access
Proof construction in linear logic and programming
Didier Galmiche
Open publisher page 0 citations
Abstract
Colloque sur invitation.
Didier Galmiche
Abstract
Colloque sur invitation.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Colloque sur invitation.
Key concepts: Mathematical proof, Structural proof theory, Proof theory, Proof complexity, Natural deduction, Computer science, Linear logic, Analytic proof