msakai's Uustalu:T [6 articles] Export Sort

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

Hide details

	Least and greatest fixed points in intuitionistic natural deduction [My Copy] Theoretical Computer Science, Vol. 272, No. 1-2. (6 February 2002), pp. 315-339. by T. Uustalu posted to no-tag by msakai on 2009-03-28 14:10:18 as
	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
	A Cube of Proof Systems for the Intuitionistic Predicate $μ,ν$-Logic [My Copy] In Selected Papers 8th Nordic Workshop on Programming Theory, NPWT'96, Oslo, Norway, 4--6 Dec 1996 (1997), pp. 237-246. by Tarmo Uustalu, Varmo Vene edited by Magne Haveraaen, Olaf Owe posted to logic by msakai on 2007-11-24 09:28:58 as
	Strong Dinaturality and Initial Algebras [My Copy] by Tarmo Uustalu posted to category-theory by msakai on 2006-04-05 07:22:46 as
	Monadic augment and generalised short cut fusion [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305. by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene posted to polymorphism by msakai on 2006-01-31 01:19:02 as along with 2 people voigt wtribbey
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to category-theory by msakai on 2006-01-30 23:50:54 as along with 8 people and 1 group pedagand greenrd jrw greg_restall zednenem josefs voigt EdwardKmett SRG_at_UCD

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

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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

msakai's Uustalu:T [6 articles] Export Sort

msakai's tags