First Steps in the Construction of the Geometric Machine Model
Abstract
Full Text:
PDF (Português (Brasil))References
[1] G.P. Dimuro, A.C.R. Costa and D.M. Claudio, A coherence space of rational intervals for a construction of IR, Journal of Reliable Computing, 6 (2000), 139-178.
J.-Y. Girard, The system F of variable types, fifteen years later, Theoretical Computer Science, 45 (1986), 159-192.
J.-Y. Girard, Linear logic, Theoretical Computer Science, 1 (1987), 187-212.
R.H.S. Reiser, “The Geometric Machine - a Computational Model for Con- currence and Non-determinism Based on Coherence Spaces”, Ph.D. Thesis (in portuguese), PPGC, UFRGS, Porto Alegre, RS, Brazil, 2002. (avaliable in http://gmc.ucpel.tche.br/imqd)
D. Scott, Some definitional suggestions for automata theory, Journal of Com- puter and System Sciences, 188 (1967), 311-372.
D. Scott, The lattice of flow diagrams, Lecture Notes in Mathematics, 188 (1971), 311-372.
A.S. Troeltra, Lectures on Linear Logic, in “CSLI Lecture Notes”, Vol. 29, 1992.
DOI: https://doi.org/10.5540/tema.2002.03.01.0183
Article Metrics
Metrics powered by PLOS ALM
Refbacks
- There are currently no refbacks.
Trends in Computational and Applied Mathematics
A publication of the Brazilian Society of Applied and Computational Mathematics (SBMAC)
Indexed in: