msakai's Plotkin:G [4 articles] Export

Recent papers posted to msakai's library by the author Plotkin:G. You can also see everyone's Plotkin:G.

	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
	Notes on the Chu construction and Recursion [My Copy] (9 January 2005) by Gordon Plotkin posted to chu-space by msakai on 2009-03-29 04:30:00 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
	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

Note: You may cite this page as: http://www.citeulike.org/user/msakai/author/Plotkin:G

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

msakai's Plotkin:G [4 articles] Export

msakai's tags