christiankissig's domain_theory [14 articles] Export

Recent papers added to christiankissig's library classified by the tag domain_theory. You can also see everyone's domain_theory.

Hide details

	Event Domains, Stable Functions and Proof Nets [My Copy] In Plotkin Festschrift, Vol. 172 (2007), pp. 33-67. by S. Abramsky posted to domain_theory by christiankissig on 2009-06-16 10:05:21 as
	Domain Theory in Logical Form [My Copy] In Annals of Pure and Applied Logic, Vol. 51 (1991), pp. 1-77. by S. Abramsky posted to domain_theory by christiankissig on 2009-06-16 10:05:19 as
	Domain Theory in Logical Form [My Copy] In Symposium on Logic in Computer Science (1987), pp. 47-53. by S. Abramsky posted to domain_theory by christiankissig on 2009-06-16 10:05:19 as
	Complete cuboidal sets in axiomatic domain theory [My Copy] Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on In Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on (1997), pp. 268-278. by M. Fiore, G. Plotkin, J. Power posted to cuboidal_sets domain_theory by christiankissig on 2009-05-11 10:41:13 as
	Categorical Domain Theory [My Copy] (1998) by Jiri Velebil posted to category_theory domain_theory limit-colimit-coincidence by christiankissig on 2009-05-07 14:35:17 as along with 7 people and 1 group mrosenki geetahardath russellbeale LiamMartin soundray xlli rsimitev HCI-Bham
	Initial Value Problems in Domain Theory [My Copy] In Proc. International Conference on Computability and Complexity in Analysis (CCA 2003) (2003), pp. 211-227. by A. Edalat, D. Pattinson posted to domain_theory by christiankissig on 2008-09-11 13:36:59 as
	A domain theoretic account of Picard's theorem [My Copy] In Proc. ICALP 2004, Vol. 3142 (2004), pp. 494-505. by A. Edalat, D. Pattinson posted to domain_theory by christiankissig on 2008-09-11 13:36:59 as
	A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems [My Copy] In Proc. PARA 2004, Vol. 3732 (2006), pp. 112-121. by A. Edalat, D. Pattinson edited by J. Dongarra, K. Madsen, J. Wasniewski posted to domain_theory by christiankissig on 2008-09-11 13:36:59 as
	Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields [My Copy] In Proc. MFPS XXI, Vol. 155 (2005), pp. 565-581. by A. Edalat, D. Pattinson edited by M. Escardó posted to domain_theory by christiankissig on 2008-09-11 13:36:58 as
	Inverse and Implicit Functions in Domain Theory [My Copy] In Proc. 20th IEEE Symposium on Logic in Computer Science (LICS 2005) (2005), pp. 417-426. by A. Edalat, D. Pattinson edited by P. Panangaden posted to domain_theory by christiankissig on 2008-09-11 13:36:58 as
	Domain Theoretic Formulation of Linear Boundary Value Problems [My Copy] In Proc. CiE 2005, No. 3526. (2005), pp. 385-395. by D. Pattinson edited by B. Loewe posted to domain_theory by christiankissig on 2008-09-11 13:36:58 as
	A Domain-Theoretic Account of Picard's Theorem [My Copy] LMS Journal of Computation and Mathematics, Vol. 10 (2007), pp. 83-118. by A. Edalat, D. Pattinson posted to domain_theory by christiankissig on 2008-09-11 13:35:39 as
	Calculus in coinductive form [My Copy] In Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (1998), pp. 408-417. by Dusko Pavlovic, Mart\ín Escardó edited by V. Pratt posted to domain_theory by christiankissig on 2008-07-12 17:14:44 as
	The category theoretic solution of recursive domain equations [My Copy] SIAM Journal of Computing, Vol. 11 (1982), pp. 761-783. by M. B. Smyth, Gordon D. Plotkin posted to category_theory domain_theory by christiankissig on 2008-07-01 16:58:47 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/tag/domain_theory

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's domain_theory [14 articles] Export

christiankissig's tags