O'Hearn, PW and Riecke, JG (1995) Kripke Logical Relations and PCF. Inf. Comput. , 120 , Article 1. 10.1006/inco.1995.1103.
Full text not available from this repository.
| Type: | Article |
|---|---|
| Title: | Kripke Logical Relations and PCF |
| DOI: | 10.1006/inco.1995.1103 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record