scientific article; zbMATH DE number 7438168

zbMath1486.03033arXiv1505.01326MaRDI QIDQ5013825

Satoshi Matsuoka

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1505.01326

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Uses Software

• ML
• Easychair

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Weak typed Böhm theorem on IMLL
• BCK-combinators and linear \(\lambda\)-terms have types
• The lambda calculus, its syntax and semantics
• An internal language for autonomous categories
• λ-definable functionals andβη conversion
• Categories for Types
• FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
• Relating complexity and precision in control flow analysis

This page was built for publication: