msakai's domain-theory [35 articles] Export

Recent papers added to msakai's library classified by the tag domain-theory. You can also see everyone's domain-theory.

	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
	Recursive Domains, Indexed Category Theory and Polymorphism [My Copy] by Paul Taylor posted to category-theory domain-theory polymorphism by msakai on 2009-02-15 09:17:18 as
	プログラミング言語の意味論 [My Copy] by Shin-Ya Katsumata posted to domain-theory by msakai on 2008-11-06 13:06:31 as
	Remarks on algebraically compact categories [My Copy] In Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 (1991), pp. 95-106. by Peter Freyd edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted to category-theory domain-theory by msakai on 2008-10-09 00:19:09 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
	Models of LCF [My Copy] by Robin Milner posted to domain-theory lambda-calculus by msakai on 2008-09-07 10:03:17 as
	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
	The Theory of Twiners and Linear Parametricity (Note) [My Copy] by Ryu Hasegawa posted to category-theory domain-theory linear-logic parametricity by msakai on 2008-05-31 14:29:33 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
	Algebraically compact functors [My Copy] Journal of Pure and Applied Algebra, Vol. 82 (1992), pp. 211-231. by Michael Barr posted to category-theory domain-theory by msakai on 2008-05-31 04:16:03 as
	再帰データ領域Ｄ∞モデル [My Copy] posted to denotational-semantics domain-theory lambda-calculus by msakai on 2008-05-25 12:52:38 as
	非正格関数の融合変換における始代数の存在について [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Masahiro Sakai, Tatsuya Hagino posted to category-theory domain-theory ppl2008 by msakai on 2008-03-08 02:35:56 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
	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
	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
	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
	Homomorphisms, Bilimits and Saturated Domains [My Copy] by Paul Taylor posted to domain-theory by msakai on 2007-09-03 12:01:17 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
	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 category-theory domain-theory polymorphism by msakai on 2006-12-13 11:38:51 as along with 2 people darinm scis0000001
	Program calculation properties of continuous algebras [My Copy] (1991) by M. Fokkinga, E. Meijer posted to category-theory domain-theory functional program-transformation by msakai on 2006-11-06 12:13:27 as along with 3 people scis0000001 KarlKlose glaubersp
	Shortcut deforestation in calculational form [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 306-313. by Akihiko Takano, Erik Meijer posted to category-theory domain-theory functional haskell by msakai on 2006-11-04 08:41:49 as along with 1 person wtribbey
	Semantics of the Domain of Flow Diagrams [My Copy] J. ACM, Vol. 24, No. 3. (July 1977), pp. 484-503. by John C. Reynolds posted to domain-theory by msakai on 2006-08-26 16:52:33 as
	Initial Algebra Semantics and Continuous Algebras [My Copy] J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95. by J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright posted to domain-theory by msakai on 2006-08-26 16:51:01 as along with 4 people and 1 group dherman bonotake ryanc marcinzalewski NU-PRL
	Game Semantics [My Copy] (1998) by Samson Abramsky, Guy Mccusker posted to category-theory domain-theory functional by msakai on 2006-05-12 15:39:16 as
	Topology via Logic (Cambridge Tracts in Theoretical Computer Science) [My Copy] (22 August 1996) by Steven Vickers posted to domain-theory logic topology by msakai on 2006-02-10 16:59:17 as
	Recursive types reduced to inductive types [My Copy] Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 498-507. by P. Freyd posted to domain-theory by msakai on 2006-01-30 23:32:56 as
	Extensional PERs [My Copy] Inf. Comput., Vol. 98, No. 2. (June 1992), pp. 211-227. by P. Freyd, P. Mulry, G. Rosolini, D. Scott posted to domain-theory by msakai on 2006-01-30 23:26:34 as

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

category-theory	81
type-theory	80
haskell	59
domain-theory	35
functional	34
model-checking	33
logic	28
ppl2008	26
ppl2009	26
coalgebra	22
continuation	22
theorem-proving	18
program-transformation	17
polymorphism	16
linear-logic	14
linguistics	14
quantum	14
concurrency	12
modal-logic	12
lambda-calculus	11
institution	10
regular-expression	8
algebraic-specification	7
complexity	7
garbage-collection	7
virtual-machine	7
functional-programming	6
logic-programming	6
parametricity	6
aop	5
coq	5
program-analysis	5
rewriting	5
security	5
set-theory	5
agda	4
alloy	4
dependent-types	4
inductive-logic-programming	4
parser	4
reactive	4
ruby	4
specification	4
topology	4
types	4
algebra	3
c	3
compiler	3
game	3
intuitionistic	3
logical-relation	3
machine-learning	3
process-algebra	3
semantics	3
type-classes	3
type-inference	3
unix	3
verification	3
abductive-logic-programming	2
channel-theory	2
chr	2
classical-logic	2
copyright	2
debug	2
denotational-semantics	2
economics	2
encryption	2
filesystem	2
game-semantics	2
kleene-algebra	2
lcm	2
model-finding	2
monad	2
observational-equivalence	2
ontology	2
operational-semantics	2
optimization	2
parallel-programming	2
philosophy	2
physics	2
planning	2
provability	2
slacs2007	2
specialization	2
thermodynamics	2
vaguness	2
algebraic-geometry	1
algorithm	1
answer-set-programming	1
arithmetic	1
arrow	1
baysian-network	1
bdd	1
bignum	1
bug	1
category-thoery	1
chu-space	1
cloud	1
compression	1
constructivity	1
context-free-grammer	1
database	1
deep-inference	1
design-by-contract	1
determinacy	1
dialgebra	1
diff	1
e-mail	1
expression-problem	1
fft	1
finance	1
fix-point	1
functional-logic-programming	1
graph-rewriting	1
gui	1
higher-order-logic	1
history	1
information-theory	1
linear-programming	1
machine-code	1
maude	1
module-system	1
network	1
nuclear-deterrence	1
number-theory	1
ocaml	1
pretty-printing	1
prolog	1
quickcheck	1
refactoring	1
region	1
scala	1
self-reference	1
semantic-web	1
shell-programming	1
smt	1
soft-typing	1
software-engineering	1
stage-calculus	1
static-checking	1
stg	1
strictness-analysis	1
temporal-logic	1
termination	1
testing	1
tex	1
web	1
www2005	1

msakai's domain-theory [35 articles] Export

msakai's tags