DMCA

An affine-intuitionistic system of types and effects: confluence and termination (2009)

by Roberto M. Amadio , Patrick Baillot , Antoine Madet
Citations:3 - 2 self