Translated title of the contribution | Representing Godel Object Programs in Godel |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 19 |
Publication status | Published - 1992 |
Representing Godel Object Programs in Godel
AF Bowers
Research output: Working paper