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). Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum. |