Intuitionistic Linear Logic

Back to List
method ID: intuitionisticlinearlogic

Incoming Relationships

Relationship Source Entity Type Actions
isBasedOn Categorial Formalism method View