msakai's coalgebra [22 articles] Export

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

	Universal coalgebra: a theory of systems [My Copy] Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80. by J. J. M. M. Rutten posted to coalgebra by msakai on 2009-09-10 06:58:52 as along with 2 people pirapira oryp6518
	On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces [My Copy] Mathematical Structures in Computer Science, Vol. 8, No. 05. (1998), pp. 481-540. by T. U. R. I. Daniele, J. A. N. Rutten posted to coalgebra by msakai on 2009-03-28 14:04:14 as
	Lectures on Semantics : The initial algebra and final coalgebra perspectives [My Copy] by Peter Aczel posted to coalgebra by msakai on 2009-01-04 09:08:44 as along with 1 person radico
	Substitution in non-wellfounded syntax with variable binding [My Copy] Theoretical Computer Science, Vol. 327, No. 1-2. (25 October 2004), pp. 155-174. by R. Matthes, T. Uustalu posted to coalgebra monad by msakai on 2008-12-21 03:24:53 as
	Invariants, bisimulations and the correctness of coalgebraic refinements [My Copy] Algebraic Methodology and Software Technology (1997), pp. 276-291. by Bart Jacobs posted to coalgebra by msakai on 2008-10-18 03:36:02 as
	Coalgebras and monads in the semantics of Java [My Copy] Theoretical Computer Science, Vol. 291, No. 3. (06 January 2003), pp. 329-349. by Bart Jacobs posted to coalgebra specification by msakai on 2008-10-18 03:30:58 as
	Coalgebraに基づく有限オートマトン理論の再構成(概要) [My Copy] (6 March 2002) by Kuniaki Mukai posted to coalgebra by msakai on 2008-06-06 04:53:40 as
	Guarded induction on final coalgebras [My Copy] Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18. by D. Pavlovic posted to category-theory coalgebra theorem-proving by msakai on 2008-06-01 05:09:27 as along with 1 person christiankissig
	Modal Logics for Coalgebras ― A Survey [My Copy] (February 2004) by Ichiro Hasuo posted to coalgebra modal-logic by msakai on 2008-05-28 13:51:21 as
	Infinite objects in type theory [My Copy] Types for Proofs and Programs (1994), pp. 62-78. by Thierry Coquand posted to coalgebra type-theory by msakai on 2008-05-28 12:33:14 as along with 1 person darinm
	超集合論―circularityの論理の現在― [My Copy] (10 November 2002) by Kuniaki Mukai posted to coalgebra by msakai on 2008-05-25 12:32:57 as
	A certified, corecursive implementation of exact real numbers [My Copy] Theoretical Computer Science In Real Numbers and Computers, Vol. 351, No. 1. (14 February 2006), pp. 39-51. by Alberto Ciaffaglione, Pietro Di Gianantonio posted to coalgebra coq by msakai on 2008-04-21 02:46:18 as along with 1 person yoriyuki
	On coalgebra based on classes [My Copy] Theor. Comput. Sci., Vol. 316, No. 1-3. (2004), pp. 3-23. by Jiří Adámek, Stefan Milius, Jiří Velebil posted to coalgebra by msakai on 2008-03-29 04:17:42 as
	Final Coalgebras are Ideal Completions of Initial Algebras [My Copy] by Jirí Adámek posted to category-theory coalgebra by msakai on 2007-09-08 02:27:48 as along with 1 person Scis0000002
	A Coalgebraic Foundation for Linear Time Semantics [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 29 (1999) by John Power, Daniele Turi posted to coalgebra by msakai on 2007-09-03 12:31:12 as
	On the Semantics of Coinductive Types in Martin-Löf Type Theory [My Copy] Algebra and Coalgebra in Computer Science (2005), pp. 114-126. by Federico De Marchi posted to coalgebra type-theory by msakai on 2007-09-03 11:20:22 as
	Monads of coalgebras: rational terms and term graphs [My Copy] Mathematical. Structures in Comp. Sci., Vol. 15, No. 3. (June 2005), pp. 433-451. by Neil Ghani, Christoph Lüth, Federico De Marchi posted to category-theory coalgebra functional by msakai on 2006-10-06 10:21:56 as along with 1 person Scis0000002
	A Concrete Final Coalgebra Theorem for ZF Set Theory [My Copy] In TYPES (1994), pp. 120-139. by Lawrence C. Paulson posted to category-theory coalgebra by msakai on 2006-05-07 08:24:56 as
	On Greatest Fixpoint Semantics of Logic Programming [My Copy] J Logic Computation, Vol. 12, No. 2. (1 April 2002), pp. 321-342. by Mathieu Jaume posted to coalgebra logic-programming by msakai on 2006-03-23 14:04:23 as
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to coalgebra haskell by msakai on 2006-01-30 23:17:05 as along with 7 people and 2 groups dherman JacquesC greenrd cedricboidin zednenem bonotake mcclurmc NU-PRL SRG_at_UCD
	Infinite Objects in Type Theory [My Copy] In Selected Papers 1st Int.\ Workshop on Types for Proofs and Programs, TYPES'93, Nijmegen, The Netherlands, 24--28 May 1993, Vol. 806 (1994), pp. 62-78. by Thierry Coquand edited by H. Barendregt, T. Nipkow posted to coalgebra type-theory by msakai on 2006-01-30 23:09:25 as along with 1 person oryp6518
	Guarded induction on final coalgebras [My Copy] (1998) by D. Pavlovic posted to coalgebra by msakai on 2006-01-30 23:03:56 as

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

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
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 coalgebra [22 articles] Export

msakai's tags