Giters

MonoidalAttackTrees / ATLL-Formalization

Agda formalization of the Attack Tree Linear Logic

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agdalinear-logicattack-treessemanticscategorical-semanticscategorical-logicdialectica-categoriesdialectica-spaces

The Formalization of the Semantics of the Attack Tree Linear Logic

About

Agda formalization of the Attack Tree Linear Logic

agdalinear-logicattack-treessemanticscategorical-semanticscategorical-logicdialectica-categoriesdialectica-spaces

Languages

Language:Agda 100.0%