msakai's institution [10 articles] Export

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

	Institution Morphisms [My Copy] Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 274-307. by Joseph Goguen, Grigore Roşu posted to institution by msakai on 2008-11-16 14:53:14 as along with 2 people adrian_pigors masteraka
	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
	Soundness proof of Z semantics of OWL using institutions [My Copy] In WWW '05: Special interest tracks and posters of the 14th international conference on World Wide Web (2005), pp. 1048-1049. by Dorel Lucanu, Yuan F. Li, Jin S. Dong posted to institution ontology www2005 by msakai on 2008-10-11 16:10:11 as
	The semantics of clear, a specification language [My Copy] Abstract Software Specifications (1980), pp. 292-332. by R. Burstall, J. Goguen posted to algebraic-specification institution by msakai on 2008-06-05 09:07:27 as
	A study in the foundations of programming methodology: Specifications, institutions, charters and parchments [My Copy] Category Theory and Computer Programming (1986), pp. 313-333. by Joseph Goguen, R. Burstall posted to institution by msakai on 2008-05-28 12:42:21 as along with 1 person masteraka
	Institutions for behaviour specification [My Copy] Recent Trends in Data Type Specification (1995), pp. 273-289. by J. Fiadeiro, J. Costa posted to institution by msakai on 2008-05-28 12:38:36 as
	Introducing institutions [My Copy] Logics of Programs (1984), pp. 221-256. by J. Goguen, R. Burstall posted to institution by msakai on 2008-05-05 18:03:31 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/tag/institution

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	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 institution [10 articles] Export

msakai's tags