msakai's lambda-calculus [11 articles] Export

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

Hide details

	A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Draft as of 3:37, January 20, 2009 JST) [My Copy] by Eijiro Sumii posted to lambda-calculus observational-equivalence by msakai on 2009-01-31 10:28:02 as along with 1 person yoriyuki
	Computation and the Periodic Table [My Copy] by John C. Baez posted to lambda-calculus by msakai on 2009-01-11 08:50:17 as
	Models of LCF [My Copy] by Robin Milner posted to domain-theory lambda-calculus by msakai on 2008-09-07 10:03:17 as
	Strong normalization of the second-order symmetric [lambda][mu]-calculus [My Copy] Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20. by Yoriyuki Yamagata posted to continuation lambda-calculus by msakai on 2008-07-09 03:03:25 as along with 1 person yoriyuki
	Strong Normalization of Second Order Symmetric Lambda-mu Calculus [My Copy] Theoretical Aspects of Computer Software (2001), pp. 459-467. by Yoriyuki Yamagata posted to continuation lambda-calculus by msakai on 2008-07-09 03:03:10 as along with 1 person yoriyuki
	Lambdascope: Another optimal implementation of the lambda-calculus [My Copy] by Vincent van Oostrom, Kees-Jan van de Looij posted to lambda-calculus by msakai on 2008-06-01 05:01:53 as
	Single-threaded polymorphic lambda calculus [My Copy] Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 333-343. by J. C. Guzman, P. Hudak posted to lambda-calculus type-theory by msakai on 2008-06-01 02:42:31 as
	Logical Predicates for Intuitionistic Linear Type Theories [My Copy] Typed Lambda Calculi and Applications (1999), pp. 67-67. by Masahito Hasegawa posted to lambda-calculus linear-logic by msakai on 2008-05-31 14:50:30 as
	再帰データ領域Ｄ∞モデル [My Copy] posted to denotational-semantics domain-theory lambda-calculus by msakai on 2008-05-25 12:52:38 as
	Closed Freyd- and κ -categories [My Copy] Automata, Languages and Programming (1999), pp. 709-710. by John Power, Hayo Thielecke posted to category-theory lambda-calculus by msakai on 2008-05-25 10:12:45 as
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category-theory lambda-calculus by msakai on 2006-03-13 12:46:27 as along with 10 people and 1 group kozima pedagand JeffreyPalmer voigt bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers

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

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 lambda-calculus [11 articles] Export

msakai's tags