2017•HAL (Le Centre pour la Communication Scientifique Directe)Open access
Using linear logic and proof theory to unify computational logic
Dale Armin Miller
Open full text 0 citations
Abstract
International audience
Dale Armin Miller
Abstract
International audience
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.
International audience
Key concepts: Computational logic, Linear logic, Dynamic logic (digital electronics), Philosophy of logic, Higher-order logic, Computer science, Substructural logic, Intermediate logic