Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications.
Ugo Dal LagoValeria de PaivaPublished in: CoRR (2021)
Keyphrases
- international workshop
- linear logic
- pacific rim
- domain driven data mining
- fixed point
- selected papers
- lecture notes in artificial intelligence
- revised selected papers
- desirable properties
- sequent calculus
- proof theoretic
- acm sigkdd
- cut elimination
- intuitionistic logic
- logical framework
- logic programming
- knowledge base
- international conference