Project Details
Description
Integration of logic, object oriented and functional programming.
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/93 → 31/12/97 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Review of the book Logical Reasoning with Diagrams, G. Allwein & J. Barwise, 1997
de Swart, H. C. M., 1997, In: Zentralblatt für Mathematik und ihre Grenzgebiete. 870.03002Research output: Contribution to journal › Book/Film/Article review › Other research output
-
Review of the book Towards a Model Theory of Diagrams, E. Hammer & N. Danner, 1997
de Swart, H. C. M., 1997, In: Zentralblatt für Mathematik und ihre Grenzgebiete. 860.03036Research output: Contribution to journal › Book/Film/Article review › Other research output
-
Review of the book What is ceteris paribus preference?, S.O. Hansson, 1997
de Swart, H. C. M., 1997, In: Zentralblatt für Mathematik und ihre Grenzgebiete. 859.03002Research output: Contribution to journal › Book/Film/Article review › Other research output