Skip to content

Inf-structuring Functions and Self-dual Marked Flattenings in bi-Heyting Algebra.

Benjamin Perret

VenueCISMM
Year2013
ProceedingsISMM

Browse the full ISMM paper archive.