CiteULike: scis0000001's Pratt:V [17 articles]

Chu spaces as a semantic bridge between linear logic and mathematics

Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.

posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by scis0000001 on 2007-05-16 08:24:14 as

along with 1 person isotelesis

Linear Logic For Generalized Quantum Mechanics

Physics and Computation, 1992. PhysComp '92., Workshop on (1992), pp. 166-180.

by V. Pratt

posted to linear-logic qm by scis0000001 on 2007-05-11 14:03:10 as

Full completeness of the multiplicative linear logic of Chu spaces

Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 234-243.

by H. Devarajan, D. Hughes, G. Plotkin, V. Pratt

posted to chu-space linear-logic mll semantics by scis0000001 on 2007-05-04 08:03:08 as

along with 1 person isotelesis

Linear Logic for Generalized Quantum Mechanics

In Proceedings of the Workshop on Physics and Computation (1992), pp. 166-180.

by Vaughan R. Pratt

posted to generalized-quantum-mechanics generalized-quantum-theory qm quantum-theory by scis0000001 on 2007-03-14 23:38:17 as

Rational Mechanics and Natural Mathematics

In Proceedings of the Conference on Theory and Practice of Software Development -- TAPSOFT'95 (1995), pp. 108-122.

by Vaughan R. Pratt

posted to chu-space generalized-hilbert-space generalized-inner-product generalized-kernel by scis0000001 on 2007-03-06 14:14:10 as

Enriched Categories and the Floyd-Warshall Connection

In Proc. First International Conference on Algebraic Methodology and Software Technology (1989), pp. 177-180.

by V. R. Pratt

posted to duality enriched-category-theory information time by scis0000001 on 2007-02-18 16:04:52 as

Higher dimensional automata revisited

Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548.

by Vaughan R. Pratt

posted to topology state-space information-system homotopy homology hda hd geometry event-structures event-space concurrency chu-space category-theory algebraic-domains algebraic by scis0000001 on 2007-01-07 13:55:35 as

along with 1 person jrw

Modeling Concurrency with Geometry

In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 311-322.

by Vaughan R. Pratt

posted to concurrency geometry by scis0000001 on 2006-12-16 14:11:05 as

Chu Spaces and their Interpretation as Concurrent Objects

In Computer Science Today: Recent Trends and Developments (1995), pp. 392-405.

by Vaughan R. Pratt

edited by J. van Leeuwen

posted to chu-space concurrency by scis0000001 on 2006-12-14 13:28:02 as

along with 1 person isotelesis

Enriched Categories and the Floyd-Warshall Connection

In Proc. First International Conference on Algebraic Methodology and Software Technology (1989), pp. 177-180.

by V. R. Pratt

posted to enriched-category by scis0000001 on 2006-12-13 15:06:36 as

Dynamic algebras as a well-behaved fragment of relation algebras

In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990)

by Vaughan Pratt

edited by C. H. Bergman, R. D. Maddux, D. L. Pigozzi

posted to abstract-state-machines algebra behavior chu-space discreteness dynamic-algebras dynamics event-space evolution evolving-algebras gtm relation state-space by scis0000001 on 2006-12-02 15:43:04 as

The Stone Gamut: A Coordinatization of Mathematics

In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454.

by Vaughan R. Pratt

posted to categorification category-theory chu-space mathematical-structures stone-duality stone-gamut by scis0000001 on 2006-11-10 13:47:23 as

along with 1 person isotelesis

Towards Full Completeness for the Linear Logic of Chu Spaces

In Preliminary Proceedings of the 13th Annual Conference on Mathematical Foundations of Programming Semantics (1997)

by V. R. Pratt

posted to chu-space linear-logic proof topological-space by scis0000001 on 2006-10-13 16:53:07 as

along with 1 person isotelesis

The Stone Gamut: A Coordinatization of Mathematics

In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454.

by Vaughan R. Pratt

posted to classification mathematics taxonomy by scis0000001 on 2006-10-07 14:00:29 as

Types as Processes, via Chu spaces

(1997)

by V. Pratt

posted to chu-space computational-category-theory process type type-theory by scis0000001 on 2006-09-26 11:05:38 as

Event-State Duality: The Enriched Case

by Vaughan R. Pratt

Reconciling Event Structures and Higher Dimensional Automata

by Vaughan Pratt

posted to automata event-space event-structure hd hda time by scis0000001 on 2006-07-06 14:50:25 as

	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471. by Vaughan Pratt posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by scis0000001 on 2007-05-16 08:24:14 as along with 1 person isotelesis
	Linear Logic For Generalized Quantum Mechanics [My Copy] Physics and Computation, 1992. PhysComp '92., Workshop on (1992), pp. 166-180. by V. Pratt posted to linear-logic qm by scis0000001 on 2007-05-11 14:03:10 as
	Full completeness of the multiplicative linear logic of Chu spaces [My Copy] Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 234-243. by H. Devarajan, D. Hughes, G. Plotkin, V. Pratt posted to chu-space linear-logic mll semantics by scis0000001 on 2007-05-04 08:03:08 as along with 1 person isotelesis
	Linear Logic for Generalized Quantum Mechanics [My Copy] In Proceedings of the Workshop on Physics and Computation (1992), pp. 166-180. by Vaughan R. Pratt posted to generalized-quantum-mechanics generalized-quantum-theory qm quantum-theory by scis0000001 on 2007-03-14 23:38:17 as
	Rational Mechanics and Natural Mathematics [My Copy] In Proceedings of the Conference on Theory and Practice of Software Development -- TAPSOFT'95 (1995), pp. 108-122. by Vaughan R. Pratt posted to chu-space generalized-hilbert-space generalized-inner-product generalized-kernel by scis0000001 on 2007-03-06 14:14:10 as
	Enriched Categories and the Floyd-Warshall Connection [My Copy] In Proc. First International Conference on Algebraic Methodology and Software Technology (1989), pp. 177-180. by V. R. Pratt posted to duality enriched-category-theory information time by scis0000001 on 2007-02-18 16:04:52 as
	Higher dimensional automata revisited [My Copy] Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548. by Vaughan R. Pratt posted to topology state-space information-system homotopy homology hda hd geometry event-structures event-space concurrency chu-space category-theory algebraic-domains algebraic by scis0000001 on 2007-01-07 13:55:35 as along with 1 person jrw
	Modeling Concurrency with Geometry [My Copy] In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 311-322. by Vaughan R. Pratt posted to concurrency geometry by scis0000001 on 2006-12-16 14:11:05 as
	Chu Spaces and their Interpretation as Concurrent Objects [My Copy] In Computer Science Today: Recent Trends and Developments (1995), pp. 392-405. by Vaughan R. Pratt edited by J. van Leeuwen posted to chu-space concurrency by scis0000001 on 2006-12-14 13:28:02 as along with 1 person isotelesis
	Enriched Categories and the Floyd-Warshall Connection [My Copy] In Proc. First International Conference on Algebraic Methodology and Software Technology (1989), pp. 177-180. by V. R. Pratt posted to enriched-category by scis0000001 on 2006-12-13 15:06:36 as
	Dynamic algebras as a well-behaved fragment of relation algebras [My Copy] In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990) by Vaughan Pratt edited by C. H. Bergman, R. D. Maddux, D. L. Pigozzi posted to abstract-state-machines algebra behavior chu-space discreteness dynamic-algebras dynamics event-space evolution evolving-algebras gtm relation state-space by scis0000001 on 2006-12-02 15:43:04 as
	The Stone Gamut: A Coordinatization of Mathematics [My Copy] In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454. by Vaughan R. Pratt posted to categorification category-theory chu-space mathematical-structures stone-duality stone-gamut by scis0000001 on 2006-11-10 13:47:23 as along with 1 person isotelesis
	Towards Full Completeness for the Linear Logic of Chu Spaces [My Copy] In Preliminary Proceedings of the 13th Annual Conference on Mathematical Foundations of Programming Semantics (1997) by V. R. Pratt posted to chu-space linear-logic proof topological-space by scis0000001 on 2006-10-13 16:53:07 as along with 1 person isotelesis
	The Stone Gamut: A Coordinatization of Mathematics [My Copy] In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454. by Vaughan R. Pratt posted to classification mathematics taxonomy by scis0000001 on 2006-10-07 14:00:29 as
	Types as Processes, via Chu spaces [My Copy] (1997) by V. Pratt posted to chu-space computational-category-theory process type type-theory by scis0000001 on 2006-09-26 11:05:38 as
	Event-State Duality: The Enriched Case [My Copy] by Vaughan R. Pratt posted to algorithmic-information-theory behavior behavior-space branching-time category-theory chu-space computational-epistemology computational-physics concept-lattice concurrency distance domain-theory duality dynamics enriched-category enriched-category-theory eom event-space fca floyd-warshall-algorithm formal-context gtm hda iff information interactivity kernel-matrix matrix phase-space quantale relativity self-duality semiring state-space temporal time transition-system triangle-inequality ultrametric ultrametric-space by scis0000001 on 2006-09-01 08:46:21 as along with 1 person Scis0000002
	Reconciling Event Structures and Higher Dimensional Automata [My Copy] by Vaughan Pratt posted to automata event-space event-structure hd hda time by scis0000001 on 2006-07-06 14:50:25 as

scis0000001's Pratt:V [17 articles] Export

scis0000001's tags

dynamics	95
category-theory	92
semantics	82
prediction	73
domain-theory	73
chu-space	71
modeling	71
inference	67
fca	67
similarity	62
hierarchy	61
iff	54
specification	54
self-similarity	54
lattice	53
process	52
temporal	52
logics	51
markets	50
network	50
concurrency	45
qm	44
quantum-vacuum	44
computational-epistemology	43
partial-order	43
semweb	42
simulation	42
mas	42
behavior	41
evolution	41
games	41
interactivity	38
fractality	37
space-time	36
representation	36
dynamical-system	35
streams	35
lp	35
formation	34
rewriting-logic	34
dev	34
graph	33
proof	32
algorithmic-information-theory	31
hilbert-space	30
compression	30
scaling	30
classification	29
distributed	29
computability-logic	29
hierarchical	29
optimality	28
fractal	28
ui	28
svm	28
unified-concept-theory	28
economics	27
qualitative	27
categorical	26
context	26
mining	26
formal-development	26
time	26
algebra	26
clustering	26
hd	25
institutions	25
concept-lattice	25
sequence	25
universality	25
generalization	25
temporal-logic	24
information-system	24
reconstruction	24
trading	24
ait	24
composition	24
uml	23
predictability	23
discovery	23
topological-space	23
information-distance	23
epistemology	23
duality	23
kolmogorov-complexity	23
query	23
real-time	22
theory-development	22
model-selection	22
logic	22
control	22
qip	22
atp	22
relativity	22
visualization	22
portfolio	22
criticality	22
statistics	21
noncommutative	21
test	21
ifs	20
state-space	20
distribution	20
programming	20
discreteness	20
topos-theory	20
information-flow	20
multiscale	20
randomness	19
tree	19
embedding	19
mda	19
online	19
measurement	19
formalization	19
transformation	19
ontology	19
coding	19
interaction	19
complexity	19
topology	19
quantum-cosmology	19
ultrametric	19
verification	18
linear-logic	18
argumentation	18
flow	18
information	18
web-service	18
quantum-theory	18
geometry	18
visual	17
scale-space	17
refinement	17
software	17
quantum-logic	17
distance	17
emergence	17
problem-solving	17
diagrammatic-reasoning	17
order-theory	16
nlp	16
quantitative	16
granularity	16
program	16
similarity-matrix	16
qait	16
string-theory	16
information-theory	16
scale	16
scale-invariance	16
transition-system	16
searching	16
fractal-dimension	15
combination	15
parchments	15
probability-theory	15
dimensionality	15
computability	15
algebraic	15
space	15
metalogics	15
mathematics	15
pricing	15
collaboration	15
portfolio-selection	14
information-retrieval	14
segmentation	14
fixed-point	14
metric	14
multifractality	14
enterprise	14
cosmology	14
software-architecture	14
taxonomy	14
efficiency	14
information-extraction	14
dimension	14
testing	14
selection	14
symmetry	14
mkm	14
metascience	13
paraconsistency	13
infinite	13
calculus	13
synthesis	13
executable	13
cognition	13
nonlocality	13
web	13
hda	13
periodicity	13
invariance	13
quantale	13
performance	13
language	13
bayesian	13
computation	13
higher-dimensional-category-theory	13
database	13
manifold	12
qft	12
diagram	12
multifractal	12
formal-methods	12
temporal-concept-analysis	12
gravity	12
fol	12
lattice-of-theories	12
abstraction	12
conceptual-structures	12
mdl	12
kernel-matrix	12
power-law	12
logical-structures	12
algorithm	12
automata	12
search	12
computability-theory	11
neural-symbolic	11
self-similar	11
risk	11
relational	11
memory	11
framework	11
coordination	11
3d	11
measure	11
type-theory	11
formal	11
thermodynamics	11
universality-class	11
random-matrix-theory	11
physics	11
edutainment	11
symbolic-dynamics	11
model-theory	11
model	11
constraints	11
incompleteness	10
game-theory	10
neuroscience	10
information-geometry	10
argumentation-theory	10
symmetry-breaking	10
adaptability	10
csp	10
nonlinear	10
category-of-theories	10
scale-free-network	10
entropy	10
kb	10
minimal-sufficient-statistic	10
partition	10
scale-relativity	10
incremental-learning	10
deep-inference	10
detection	10
quantum-gravity	10
phase-space	10
path	10
fractafold	10
gtm	10
stone-duality	9
automating	9
goals	9
self-duality	9
opinion	9
descriptive-complexity	9
metatheory	9
machine-learning	9
logical-theories	9
sfn	9
extensivity	9
subspace	9
generalized-kolmogorov-complexity	9
optimization	9
relational-structures	9
hausdorff-dimension	9
induction	9
formal-system	9
all-logical-theories	9
operational	9
measure-theory	9
long-range-correlation	9
survivability	9
assistance	9
axiomatization	9
process-space	9
inductive-inference	9
sequence-prediction	9
model-checking	9
decomposition	9
metric-space	9
resolution	9
nonextensivity	8
computational-physics	8
computational-cosmology	8
theory-selection	8
biology	8
proof-theory	8
quantum-computing	8
multiresolution	8
methodology	8
noise	8
nonlinearity	8
time-series	8
mixture	8
noncommutative-geometry	8
p-adic	8
meaning	8
db	8
categorification	8
cantor-space	8
property-lattice	8
autonomic-computing	8
computing	8
metaprocess	8
computational-sociology	8
monitoring	8
relational-physics	8
universal-prediction	8
relation	8
ct	8
computational-category-theory	8
diffusion	8
simplicity	8
interference	8
finance	8
quantization	8
browsing	8
logical-information-system	8
many-body	8
event-space	8
software-development	8
fracton	8
nonmonotonic	8
topological	7
asynchronous	7
closure-structures	7
spatio-temporal	7
non-unitarity	7
wavelet	7
multiverse	7
algebraicity	7
innovation	7
time-series-analysis	7
regularity	7
binary-icosahedral-group	7
continuity	7
kernel	7
lattice-theory	7
mathematical-structures	7
interoperability	7
theory	7
experts	7
algebraic-structures	7
fractal-geometry	7
self-adaptation	7
dialogue	7
patents	7
metamodel	7
metamodeling	7
aixi	7
uncertainty	7
investing	7
resource-allocation	7
structure	7
calculational	7
computational-science	7
formal-science	7
ilp	7
computational-mathematics	7
managed-logic	7
planning	7
m-theory	7
communication	7
fuzzy	7
aspects	7
matching	7
hypercomplex	7
physical-structures	7
text	7
modularity	7
sufficiency	7
process-theory	7
primes	7
probabilistic	7
generation	7
configuration-space	6
small-world-network	6
self-similarity-matrix	6
e-science	6
computational-narratology	6
reduction	6
attractor	6
econophysics	6
nonmonotonicity	6
potential	6
growth	6
total-order	6
homotopy	6
exploration	6
standing-waves	6
cmb	6
cantor-set	6
discrete-self-similarity	6
information-loss	6
abstract-state-machines	6
ordering	6
analysis	6
formal-language	6
ensemble	6
support	6
social-network	6
phase-transition	6
generalized-hilbert-space	6
reinforcement-learning	6
realizability	6
question-answering	6
abstract-machine	6
refactoring	6
noncommutativity	6
quantum-information-theory	6
concept	6
hyper-economy	6
non-equilibrium	6
syntax	6
maude	6
relativistic	6
game	6
chemistry	6
feedback	6
computational-complexity	6
collective	6
dodecahedral-space	6
chaos-control	6
dimension-theory	6
effects	6
log-periodicity	6
mereology	6
channel-theory	6
generalized-inner-product	6
prediction-market	6
chaos	6
presentation	6
theory-formation	6
gales	6
engineering	6
association-rules	6
exploring	6
java	6
program-space	6
compositionality	6
incremental	6
qifs	6
nonstandard-analysis	6
ultrametric-space	6
automation	6
planck-scale	6
computational	6
set	6
dissimilarity	6
effective-topos	5
extraction	5
indexing	5
r-qm	5
intermittency	5
spectrum	5
generalized-kernel	5
network-theory	5
operads	5
hypergraphs	5
visualizing	5
dl	5
quantum-entanglement	5
finite-model-theory	5
sampling	5
quantum-coherence	5
fractal-evolution	5
universe	5
quantum-domain-theory	5
pattern	5
pvs	5
algebraic-domains	5
situation-theory	5
homology	5
renormalization	5
hypergraph	5
behaviour	5
automatic	5
interpretation	5
program-transformation	5
non-probabilistic	5
information-dynamics	5
continued-fraction	5
xml	5
categorical-logic	5
combinatorics	5