Categorial Formalism

Back to List
method ID: categorialformalism

Outgoing Relationships

Relationship Target Entity Type Actions
isBasedOn Intuitionistic Linear Logic method View