Skip to content

A Linear Logical View of Linear Type Isomorphisms.

Vincent Balat, Roberto Di Cosmo

VenueBCSL
Year1999
ProceedingsCSL

Browse the full CSL paper archive.