• Published 2000

Sharing ontinuations : proofnets forlanguages with expli it ontrolJulia

@inproceedings{Lawall2000SharingO,
  title={Sharing ontinuations : proofnets forlanguages with expli it ontrolJulia},
  author={L. Lawall and G. Harry and MairsonyComputer},
  year={2000}
}

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

Linear logi without boxes

J.-Y. Girard, L. Regnier
  • Linear logi . Theoreti al Computer S ien e
  • 1995

Programs with ontinuations and linear logi

A. Voronkov
  • S ien e of Computer Programming
  • 1993