Stem dualis$ (all stems)

3 papers:

ICFP-2011-MuM #functional #morphism #theorem

Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.

POPL-2009-BrotherstonC #logic #reasoning

Classical BI: a logic for reasoning about dualising resources (JB, CC), pp. 328–339.

DAC-1988-Jabri #automation #graph

Automatic Building of Graphs for Rectangular Dualisation (MAJ), pp. 638–641.