1977
The expressive power of intensional logic in the semantics of programming languages : (preprint)
Publication
Publication
| Additional Metadata | |
|---|---|
| Stichting Mathematisch Centrum | |
| Stichting Mathematisch Centrum. Zuivere Wiskunde | |
|
Janssen, T.& van Emde Boas, P. (1977). The expressive power of intensional logic in the semantics of programming languages : (preprint). In Stichting Mathematisch Centrum. Zuivere Wiskunde (ZW 98/77). Stichting Mathematisch Centrum. |
|