On Linear Logic, Functional Programming, and Attack Trees.
Harley Eades IIIJiaming JiangAubrey BryantPublished in: GraMSec@FLoC (2018)
Keyphrases
- linear logic
- functional programming
- programming language
- fixed point
- execution model
- functional language
- logic programming
- cut elimination
- sequent calculus
- object oriented programming
- tree structure
- desirable properties
- inference rules
- proof search
- logical framework
- databases
- natural deduction
- logic programs
- general purpose
- knowledge base