T. Bra uner. An Axiomatic Approach to Adequacy. PhD thesis, Department of Computer Science, University of Arhus, Denmark, July 1996. Available as BRICS Technical Report DS--96--4, November 1996. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Observations on a Linear PCF - Bierman (1997) (5 citations) (Correct)
....details of memory access. Acknowledgments I am grateful to Nick Benton, Andrew Gordon, Martin Hyland and Andrew Pitts for many useful discussions. Andrew Gordon and Valeria de Paiva offered useful comments on an 8 Just before this paper went to press I received the PhD thesis of Brauner [10], who also studies a similar linear PCF but from a denotational perspective. earlier draft of this paper. ....
T. Bra uner. An Axiomatic Approach to Adequacy. PhD thesis, Department of Computer Science, University of Arhus, Denmark, July 1996. Available as BRICS Technical Report DS--96--4, November 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC