Tag domain-theory [109 articles] Export

Recent papers classified by the tag domain-theory.

	Topical categories of domains [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616. by Steven Vickers posted to algebraicity algebras category-theory constructivity domain-theory domains fol geometricity locales stone-duality topological-spaces topos-theory toposes by Scis0000002 on 2009-05-27 11:14:06 as
	On Ultrametric Algorithmic Information [My Copy] (2 Sep 2007) by Fionn Murtagh posted to 0-toposes algorithmic-information-theory approximations chains coding complexities computational-neuroscience conceptual-structures cortexes domain-theory encoding fca graph-theory hierarchies lattice lattice-of-thoughts lattice-theory lattices order-structures order-theory partial-order refinement representations ultrametric ultrametricity by Scis0000002 on 2009-04-28 09:17:45 as along with 2 people ansobol jrw
	An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory [My Copy] Computer Science Logic (1997), pp. 129-149. by Marcelo Fiore, Gordon Plotkin posted to domain-theory by msakai on 2009-03-29 04:40:47 as
	The fixed point property in synthetic domain theory [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (1991), pp. 152-160. by P. Taylor posted to domain-theory by msakai on 2009-03-29 04:22:37 as
	From LCF to HOL: a short history [My Copy] (2000), pp. 169-185. by Mike Gordon posted to domain-theory theorem-proving by msakai on 2008-10-07 01:09:43 as
	Domain Theoretic Models of Polymorphism [My Copy] Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167. by Thierry Coquand, Carl A. Gunter, Glynn Winskel posted to domain-theory polymorphism by darinm on 2008-09-25 23:32:45 as along with 2 people msakai scis0000001
	Program Verification in Synthetic Domain Theory [My Copy] by Bernhard Reus posted to domain-theory by msakai on 2008-08-10 19:18:33 as
	A note on inconsistencies caused by fixpoints in a cartesian closed category [My Copy] Theoretical Computer Science, Vol. 73, No. 1. (8 June 1990), pp. 101-112. by Hagen Huwig, Axel Poigné posted to category-theory domain-theory by msakai on 2008-05-31 15:04:01 as
	Extensional PERs [My Copy] Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 346-354. by P. Freyd, P. Mulry, G. Rosolini, D. Scott posted to category-theory domain-theory by msakai on 2008-05-31 04:22:25 as
	Semigroups, automata and languages [My Copy] Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398. by Gerard Lallement posted to abstract-machines algorithmic-information-theory automata automata-theory automatons category-of-languages complexity-classes computational-complexity-theory domain-theory formal-language-theory formal-languages metalogical-frameworks philosophy-of-science semigroup-theory semigroups topos-theory by Scis0000002 on 2008-05-05 14:37:40 as
	Entropic Geometry from Logic [My Copy] (6 Feb 2003) by Bob Coecke posted to complete-lattices domain-theory entropies lattice-of-subspaces partial-order by Scis0000002 on 2008-04-25 21:50:59 as along with 2 people pqnelson jrw
	Why Occam's Razor [My Copy] (28 Jan 2004) by Russell K. Standish posted to algorithmic-information-theory cantor-space computability computability-logic computational-cosmology cosmologcal-theories descriptive-complexity diophantine-equations domain-theory enumerability formal-system formal-systems formal-theories no-boundary-conditions polynomial-equations polynomials recursively-enumerable-formal-systems recursively-enumerable-sets recursively-enumerable-theorems toe toes topos-theory unifying by Scis0000002 on 2008-04-08 19:11:09 as
	Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science) [My Copy] (13 August 1996) by Marcelo P. Fiore posted to domain-theory by msakai on 2008-02-06 06:38:24 as
	Domains and Denotational Semantics: History, Accomplishments and Open Problems [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 59 (1996), pp. 227-256. by Marcelo Fiore, Achim Jung, Eugenio Moggi, et al.Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark posted to domain-theory by msakai on 2008-01-24 10:04:45 as
	The Category-Theoretic Solution of Recursive Domain Equations [My Copy] SIAM Journal on Computing, Vol. 11, No. 4. (1982), pp. 761-783. by M. B. Smyth, G. D. Plotkin posted to category-theory domain-theory by msakai on 2008-01-15 00:53:41 as
	Algebraically complete categories [My Copy] Category Theory (1991), pp. 95-104. by Peter Freyd posted to category-theory domain-theory by msakai on 2008-01-15 00:45:04 as
	Probability and Finance: It's Only a Game! [My Copy] (15 June 2001) by Glenn Shafer, Vladimir Vovk posted to computability-logic domain-theory entropies entropy games game-theory lattice-theory markets martingales order-theory probability-theory quantum-probability-theory by Scis0000002 on 2007-12-28 13:58:12 as along with 2 people ansobol quianominorleo
	Domain Theory - Corrected and expanded version [My Copy] by Samson Abramsky, Achim Jung posted to domain-theory by msakai on 2007-12-17 01:38:15 as along with 4 people and 1 group dherman jrw cedricboidin scis0000001 NU-PRL
	Introduction to Lattices and Order [My Copy] (18 April 2002) by B. A. Davey, H. A. Priestley posted to domain-theory lattice-theory order-theory by brecknell on 2007-12-13 03:27:31 as along with 7 people hubris streetlightios BarrosH sirvio bunge BenWiedermann zuleger
	Complete axioms for categorical fixed-point operators [My Copy] Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on In Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on (2000), pp. 30-41. by A. Simpson, G. Plotkin posted to category-theory domain-theory by msakai on 2007-11-02 16:06:25 as along with 3 people statistic01 education02 p2p01
	Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) [My Copy] (25 March 1988) by J. Lambek, P. J. Scott posted to categorical-logic domain-theory higher-order topos-theory by Constructivity on 2007-10-09 00:39:41 as along with 2 people Benja DavidChemouil
	New foundations for fixpoint computations [My Copy] Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 489-497. by R. L. Crole, A. M. Pitts posted to category-theory domain-theory by msakai on 2007-09-03 12:43:46 as
	A theory of recursive domains with applications to concurrency [My Copy] Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on In Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on (1998), pp. 214-225. by G. L. Cattani, M. Fiore, G. Winskel posted to concurrency domain-theory by msakai on 2007-09-03 12:03:46 as
	The Category of Cpos From a Synthetic Viewpoint [My Copy] Electronic Notes in Theoretical Computer Science In MFPS XIII, Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference, Vol. 6 (1997), pp. 133-150. by Marcelo Fiore, Giuseppe Rosolini posted to category-theory domain-theory by msakai on 2007-09-03 11:57:24 as
	Two models of synthetic domain theory [My Copy] (1997) by M. Fiore, G. Rosolini posted to domain-theory by msakai on 2007-09-03 11:54:45 as
	Axiomatic Domain Theory [My Copy] BEATCS: Bulletin of the European Association for Theoretical Computer Science, Vol. 59 (1996) by Fiore posted to domain-theory by msakai on 2007-09-03 11:53:31 as
	Developing Theories of Types and Computability [My Copy] (1999) by L. Birkedal posted to domain-theory topos-theory type-theory universes-of-discourse by Scis0000002 on 2007-08-20 00:21:42 as
	Causal architecture, complexity and self-organization in time series and cellular automata [My Copy] (2001) by C. R. Shalizi posted to temporal-concept-analysis symbolic-dynamics space-time self-organization physical-structures minimal-sufficient-statistic information-system entropy domain-theory discreteness computational-mechanics computational-epistemology computation cellular-automaton causal-state-machine causal-networks automata algorithmic-information-theory algebraic by mattjb to the group ComplexAdaptiveSystems on 2007-08-03 02:03:49 as along with 6 people and 1 group ansobol jrw balicea scis0000001 Scis0000002 mmcgloho DSTO-CAS
	Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming [My Copy] by Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo posted to argument-tree computability-logic dialectical-tree dialogue-tree dispute-tree domain-theory game-tree hyperefficiency hypertree hypertrees inference-tree lattice-of-argument-trees lattice-of-arguments lattice-of-dialectical-trees prediction proof-search proof-space proof-tree relevance resource-allocation search-space tree trees universal-search by Scis0000002 on 2007-07-02 13:41:12 as
	Games as formal tools versus games as explanations in logic and science [My Copy] Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364. by Ahti-Veikko Pietarinen posted to argumentation-theory category-theory computability-logic dialogical-logic domain-theory games game-theory lattice-theory logics networks order-theory probability-theory by Scis0000002 on 2007-07-01 16:05:50 as
	Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus [My Copy] by Kevin H. Knuth posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as along with 2 people Scis0000002 Kristoftol
	Domain Compression for Complete Abstractions [My Copy] by Roberto Giacobazzi, Isabella Mastroeni posted to abstraction compression domain-selection domain-theory universal-domains by scis0000001 on 2007-04-14 02:22:27 as
	Elements of generalized ultrametric domain theory [My Copy] Theoretical Computer Science, Vol. 170, No. 1--2. (1996), pp. 349-381. by J. J. M. M. Rutten posted to domain-theory ultrametric by scis0000001 on 2007-04-12 01:35:10 as
	Operational Domain Theory and Topology of a Sequential Programming Language [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 427-436. by Ho W. Kin posted to domain-theory operational-domain-theory by scis0000001 on 2007-04-08 19:31:34 as along with 1 person jrw
	Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures [My Copy] In Computer Aided Verification (1998), pp. 293-304. by Michael Colon, Tomas E. Uribe posted to abstracting abstraction causal-state-machine clocked-transition-system domain-theory model-checking partial-order refinement simulation state-space temporal-logic transition-system by scis0000001 on 2007-04-07 13:52:48 as along with 1 person bunge
	Least Reflexive Points of Relations [My Copy] by Jules Desharnais, Bernhard Möller posted to chu-space domain-theory fixed-point generalization lattice monotonicity partial-order reflexive-point relation relational-structures by scis0000001 on 2007-04-07 01:26:01 as
	Asset Trees and Asset Graphs in Financial Markets [My Copy] Physica Scripta Volume T, Vol. 106 (2003), 48. by J. P. Onnela, A. Chakraborti, K. Kaski, J. Kertész, A. Kanto posted to asset-graph asset-lattice asset-network asset-space asset-tree behavior-space chu-space distance distributed domain-theory dynamical-system dynamics economics enriched-category-theory event-space evolution finance games hierarchy hypernetwork iff information-theory interactivity investment-strategy-space investment-theory lattice market-space markets minimum-spanning-tree modularity mst multifractality network partition phase-space process-space program-space scale-space semantics semweb space-of-investment-strategies space-of-probability-distributions state-space topological-space tree ultrametric by scis0000001 on 2007-04-02 01:33:38 as along with 1 person Scis0000002
	Dynamics of market correlations: Taxonomy and portfolio analysis [My Copy] Phys. Rev. E, Vol. 68, No. 5. (November 2003), 056110. by J. P. Onnela, A. Chakraborti, K. Kaski, J. Kertész, A. Kanto posted to behavior concurrency domain-theory dynamics markets semantics taxonomy topological-space ultrametric-space by scis0000001 on 2007-04-01 15:42:05 as
	Entropy as a fixed point [My Copy] Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324. by Keye Martin posted to algorithmic-complexity algorithmic-information-theory algorithmic-probability coding complexity compressibility compression computational-complexity computational-epistemology continuity descriptive-complexity domain-theory entropy event-space fixed-point information information-theory kolmogorov-complexity lattice-theory logics majorization measure-theory order-theory orthogonality parchments partial-order predictability probability-theory process process-theory qualitative quantitative quantum-algorithmic-information-theory quantum-compression quantum-information-theory state-space topological-space total-order universal-prediction by scis0000001 on 2007-03-16 09:53:10 as along with 5 people and 1 group ansobol Scis0000002 algorithmic AbnerCYH rsantana CSBBGraphTheory
	Analyses of design processes based on category theory and channel theory [My Copy] SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966. by K. Minamizono, O. Katai, T. Shiose, H. Kawakami posted to category-theory channel-theory chu-space collaboration concurrency costing design-lattice design-process design-space design-theory dev domain-theory efficiency enterprise games hyperefficiency iff innovation institutions invention just-in-time managed-logic metaprocess methodology multisource-algorithmic-information-theory optimality parchments patent-classification patents planning problem-solving process process-theory product-classification product-development product-lattice productivity refinement unified-concept-theory by scis0000001 on 2007-03-15 16:35:54 as along with 1 person Scis0000002
	Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun [My Copy] by We C. The posted to bayesian domain-theory iff mixture model-selection partial-order partition space-of-distributions space-of-partitions by scis0000001 on 2007-03-15 14:29:18 as
	$My PDF trnkov&\#225;_99_categories.pdf$ On categories generalizing universal domains [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 2. (April 1999), pp. 159-175. by V&\#283;ra Trnkov&\#225;, Ji&\#345;&\#237; Velebil posted to domain-theory generalization universal-domains by scis0000001 on 2007-03-15 13:27:24 as
	A Theory of Concepts and Their Combinations I: The Structure of the Sets of Contexts and Properties [My Copy] (26 Feb 2004) by Diederik Aerts, Liane Gabora posted to all-logical-theories chu-space closure closure-structures concept-lattice conceptual-structures domain-theory fca iff inference information-system logical-information-system logical-structures by scis0000001 on 2007-03-07 14:11:43 as along with 1 person JayDugger
	Non-Commutative Topology for Curved Quantum Causality [My Copy] (22 Feb 2001) by Ioannis Raptis posted to category-theory causality domain-theory noncommutative quantum-topos topology topos-theory by scis0000001 on 2007-03-06 14:25:26 as
	The unity between quantum field computation, real computation, and quantum computation [My Copy] (4 Sep 2001) by A. C. Manoharan posted to domain-theory gtm interactive-computation interactivity quantum-field-computation relativity by scis0000001 on 2007-03-06 08:55:01 as along with 1 person Scis0000002
	Measurability and Computability [My Copy] (16 Sep 1998) by Masanao Ozawa posted to computability-theory domain-theory measure-theory by scis0000001 on 2007-02-23 13:28:01 as along with 1 person mstn
	Paraconsistency of Interactive Computation [My Copy] (21 Jul 2002) by Dina Goldin, Peter Wegner posted to abduction all-computational-structures all-logical-theories all-physical-structures computability-logic concurrency consistency contradiction countability decoherence domain-theory dynamical-system enumerability equivalence-class fol game-theory games generalized-algorithmic-probability generalized-kolmogorov-complexity gtm iff incompleteness inference infinite interactivity lattice-of-theories logics long-range-correlation many-body metaevolution metalogic-programming minimum-sufficient-statistic modeling nonmonotonicity observability paraconsistency problem-solving proof-tree quantum-field-computation quantum-vacuum relevant-logic resources scale-relativity self-duality semantics symmetry-breaking syntax temporal-relevant-logic time-horizon universality universality-class by scis0000001 on 2007-02-18 15:19:53 as
	Concurrent Games and Full Completeness [My Copy] In Logic in Computer Science (1999), pp. 431-442. by Samson Abramsky, Paul A. Mellies posted to completeness computability-logic concurrency domain-theory games semantics by scis0000001 on 2007-02-18 11:59:33 as
	Recursive Types in Games: Axiomatics and Process Representation [My Copy] In Logic in Computer Science (1998), pp. 345-356. by Marcelo P. Fiore, Kohei Honda posted to domain-theory games by scis0000001 on 2007-02-18 11:52:10 as
	Domains for Computation in Mathematics, Physics and Exact Real Arithmetic [My Copy] The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452. by Abbas Edalat posted to algebraicity applications behavior-space computability-theory computational-epistemology computational-science continuity domain-theory dynamical-system ifs incremental measure-theory probability-theory process-space process-theory program-space proof-space space-of-distributions space-of-probability-distributions space-of-processes space-of-programs space-of-proofs state-space topological-space topology by scis0000001 on 2007-02-16 14:02:29 as along with 1 person Scis0000002

Note: You may cite this page as: http://www.citeulike.org/tag/domain-theory

Result page: 1 2 3 Next

category-theory	20
chu-space	16
partial-order	12
computational-epistemology	11
iff	11
computability-logic	10
concurrency	10
games	10
lattice	10
semantics	10
algorithmic-information-theory	9
fca	9
order-theory	8
information-system	7
state-space	7
topological-space	7
topology	7
dynamical-system	6
dynamics	6
inference	6
interactivity	6
logics	6
topos-theory	6
ultrametric	6
causal-state-machine	5
computability	5
concept-lattice	5
fixed-point	5
gtm	5
ifs	5
lattice-theory	5
logic	5
lp	5
measure-theory	5
minimal-sufficient-statistic	5
probability-theory	5
space-time	5
temporal-concept-analysis	5
temporal-logic	5
algebraic	4
all-logical-theories	4
behavior	4
behavior-space	4
computation	4
conceptual-structures	4
denotational-semantics	4
discreteness	4
entropy	4
event-space	4
information-theory	4
powerdomains	4
process	4
quantitative	4
refinement	4
semweb	4
symbolic-dynamics	4
transition-system	4
ultrametric-space	4
unified-concept-theory	4
algebraicity	3
automata	3
computability-theory	3
computational-mechanics	3
continuity	3
enumerability	3
functional	3
game-theory	3
lattice-of-theories	3
markets	3
modeling	3
nonmonotonicity	3
partition	3
phase-space	3
physical-structures	3
polymorphism	3
prediction	3
problem-solving	3
process-theory	3
quantum-field-computation	3
relativity	3
self-organization	3
self-similarity	3
temporal	3
cantor-space	2
causal-networks	2
computational-cosmology	2
computational-science	2
distance	2
domain-logic	2
effective-topos	2
enterprise	2
infinite	2
parchments	2
predictability	2
program-space	2
proof-space	2
proof-tree	2
stone-duality	2
time	2
universal-search	2

Tag domain-theory [109 articles] Export

Related Tags