msakai's Burstall:RM [4 articles] Export

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

	Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories [My Copy] Theoretical Computer Science, Vol. 91, No. 2. (23 December 1991), pp. 239-264. by Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen posted to algebraic-specification institution by msakai on 2008-10-30 07:21:16 as along with 1 person masteraka
	Some fundamental algebraic tools for the semantics of computation , : Part 2: Signed and abstract theories [My Copy] Theoretical Computer Science, Vol. 31, No. 3. (1984), pp. 263-295. by J. A. Goguen, R. M. Burstall posted to algebraic-specification institution by msakai on 2008-10-30 07:18:04 as along with 1 person masteraka
	Some fundamental algebraic tools for the semantics of computation : Part 1: Comma Categories, Colimits, Signatures and Theories [My Copy] Theoretical Computer Science, Vol. 31, No. 1-2. (1984), pp. 175-209. by J. A. Goguen, R. M. Burstall posted to algebraic-specification institution by msakai on 2008-10-30 07:15:25 as along with 1 person masteraka
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to category-theory institution by msakai on 2006-02-10 00:52:07 as along with 9 people and 2 groups mishra_satish fraktalek mahler bonotake adrian_pigors scis0000001 masteraka marcinzalewski Scis0000002 ConcertRG Rightscom

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

msakai's tags

All tags in msakai's library

Filter:

Privacy Statement | Terms & Conditions

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