Reducibility and TT-Lifting for Computation Types

@inproceedings{Lindley2005ReducibilityAT,
  title={Reducibility and TT-Lifting for Computation Types},
  author={Sam Lindley and Ian Stark},
  booktitle={TLCA},
  year={2005}
}

From This Paper

Topics from this paper.
8 Citations
1 References
Similar Papers

References

Publications referenced by this paper.

Ian Stark (LFCS Edinburgh) Reducibility and -lifting for Computation Types TLCA

  • Ian Stark (LFCS Edinburgh) Reducibility and…
  • 2005

Similar Papers

Loading similar papers…