-
6On the programs-as-formulas interpretation of parallel programs in peano arithmeticAnnals of Pure and Applied Logic 37 (2): 111-127. 1988.
-
18A faithful embedding of parallel computations in star-finite modelsStudia Logica 47 (3). 1988.The purpose of this paper is to show that there exist star-finite tree-structured sets in which the computations of parallel programs can be faithfully embedded, and that the theory of star-finite sets and relations therefore provides a new tool for the analysis of non-deterministic computations.