msakai's linguistics [14 articles] Export

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

	Wild control operators [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 152-152. by Chris Barker posted to linguistics continuation by msakai on 2009-08-31 03:45:39 as
	Parsing expression grammars: a recognition-based syntactic foundation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122. by Bryan Ford posted to linguistics parser by msakai on 2009-06-22 16:42:26 as along with 4 people and 1 group fgeller spl dherman jrw NU-PRL
	型理論的レキシコンに基づいたオントロジー抽出に向けて―例化談話の場合 [My Copy] by 典裕緒方 posted to linguistics type-theory by msakai on 2009-03-29 04:49:48 as
	Generalized star height problem - Wikipedia, the free encyclopedia [My Copy] posted to linguistics regular-expression by msakai on 2009-01-06 07:52:07 as along with 1 person hubris
	冠詞の意味論 ― 定性の分析 [My Copy] by 光演吉田 posted to linguistics by msakai on 2008-11-27 16:18:04 as
	Computational Semantics in Type Theory [My Copy] Mathematics and Social Sciences, Vol. 165 (2004), pp. 31-57. by Aarne Ranta posted to linguistics semantics type-theory by msakai on 2008-10-13 06:46:07 as along with 1 person bringert
	Linear Processing with Pregroups [My Copy] Studia Logica, Vol. 87, No. 2. (10 December 2007), pp. 171-197. by Anne Preller posted to linguistics by msakai on 2008-06-08 08:08:25 as
	Notes on Situation Theory and Channel Theory [My Copy] by Greg Restall posted to channel-theory linguistics by msakai on 2008-05-28 12:34:07 as along with 1 person scis0000001
	The proper treatment of quantification in ordinary English [My Copy] In Formal Philosophy. Selected papers of Richard Monatgue (1970), pp. 247-270. by Richard Montague edited by Richmond Thomason posted to linguistics by msakai on 2008-04-20 08:58:41 as along with 1 person JakubSzymanik
	修辞関係による名詞句の指示対象の推論に関する研究(談話・要約) [My Copy] 情報処理学会研究報告. 自然言語処理研究会報告 (27 July 2006), pp. 61-64. by Rui Otake, Kei Yoshimoto posted to linguistics by msakai on 2008-04-14 13:57:22 as
	Fast context-free grammar parsing requires fast boolean matrix multiplication [My Copy] J. ACM, Vol. 49, No. 1. (January 2002), pp. 1-15. by Lillian Lee posted to complexity linguistics parser by msakai on 2008-03-30 17:55:26 as along with 1 person yoriyuki
	Category Theoretical Semantics for Pregroup Grammars [My Copy] Logical Aspects of Computational Linguistics (2005), pp. 238-254. by Anne Preller posted to category-theory linguistics by msakai on 2008-03-18 22:54:31 as
	Linguistics Side Effects [My Copy] (2005) by Chung-Chieh Shan posted to continuation linguistics by msakai on 2008-03-16 15:00:47 as along with 1 person and 1 group ponvert Philosophy_of_Information
	Continuations in Natural Language [My Copy] In Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04). by Chris Barker edited by Hayo Thielecke posted to continuation linguistics by msakai on 2008-03-15 10:10:41 as along with 1 person and 1 group ponvert Philosophy_of_Information

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

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
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 linguistics [14 articles] Export

msakai's tags