Skip to content

MonoidalAttackTrees/ATLL-Formalization

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

48 Commits

.gitignore

.gitignore

 
 

README.md

README.md

 
 

filter-semantics-collapse.agda

filter-semantics-collapse.agda

 
 

filter-semantics.agda

filter-semantics.agda

 
 

filter-thms-collapse.agda

filter-thms-collapse.agda

 
 

filter-thms.agda

filter-thms.agda

 
 

ideal-semantics.agda

ideal-semantics.agda

 
 

ideal-thms.agda

ideal-thms.agda

 
 

prelude.agda

prelude.agda

 
 

quaternary-semantics.agda

quaternary-semantics.agda

 
 

quaternary-thms.agda

quaternary-thms.agda

 
 

Repository files navigation

The Formalization of the Semantics of the Attack Tree Linear Logic

About

Agda formalization of the Attack Tree Linear Logic

Topics

semantics agda attack-trees categorical-semantics linear-logic categorical-logic dialectica-spaces dialectica-categories

Resources

Readme
Activity
Custom properties

Stars

5 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages