msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

gf-bibliography extended and converted to txt source

Browse Source
This commit is contained in:
aarne
2007-05-04 08:23:37 +00:00
parent 5f2121e181
commit 8e324fc97d
2 changed files with 891 additions and 438 deletions
Download Patch File Download Diff File Expand all files Collapse all files

845
doc/gf-bibliography.html
View File

@@ -1,498 +1,479 @@
<html> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML>
<center> <HEAD>
<body bgcolor="#FFFFFF" text="#000000" > <META NAME="generator" CONTENT="http://txt2tags.sf.net">
<TITLE>Grammatical Framework Bibliography</TITLE>
<IMG SRC="../gf-logo.gif"> </HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>Grammatical Framework Bibliography</H1>
<FONT SIZE="4">
<h1>Grammatical Framework Bibliography</h1> <I>Aarne Ranta</I><BR>
</center> Fri May 4 10:23:31 2007
</FONT></CENTER>
<h3>Publications on GF</h3>
<H2>Publications on GF</H2>
<P>
In reverse temporal order: In reverse temporal order:
</P>
<p> <P>
A. El Dada and A. Ranta.
O. Caprotti and M. Sepp&auml;l&auml;. Implementing an Open Source Arabic Resource Grammar in GF.
Multilingual Delivery of Online Tests in mathematics. In M. Mughazy (ed),
Proceedings of Online Educa Berlin 2006. 29 November- 1 December 2006. Berlin, Germany. <I>Perspectives on Arabic Linguistics XX. Papers from the Twentieth Annual Symposium on Arabic Linguistics, Kalamazoo, March 26</I>
<a href="http://webalt.math.helsinki.fi/content/e16/e301/e785/MultilingualDeliveryofOnlineTestsinMathematics_eng.pdf"> John Benjamins Publishing Company.
pdf 2007.
</a>.
<br> <br>
<i>This papers shows screenshots of multilingual generation in the WebALT project, <I>An outline of the Arabic resource grammar project, focusing on linguistic aspects.</I>
using GF and the </i> </P>
<P>
<p> A. Ranta.
The GF Grammar Compiler.
J. Khegai. Language engineering in Grammatical Framework (GF). <I>Workshop on New Directions in Type-theoretic Grammars</I>,
Phd thesis, 2006, <A href="http://www.cs.chalmers.se/">Chalmers University of Dublin, August 2007 (ESSLLI workshop).
Technology.</A> 2007.
<A href="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">pdf</a> <br>
<I>Describes the compilation of GF source code to lower-level run-time formats.</I>
<p> </P>
<P>
J Khegai. "GF parallel resource grammars and Russian". M. Humayoun, H. Hammarström, and A. Ranta.
In proceedings of <A href="www.acl2006.mq.edu.au">Coling\ACL2006</A> Urdu Morphology, Orthography and Lexicon Extraction.
<I>CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages</I>,
July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University.
2007.
<br>
<I>Fairly complete open-source Urdu morphology and elemenraty syntax in GF.</I>
</P>
<P>
N. Perera and A. Ranta.
Dialogue System Localization with the GF Resource Grammar Library.
<I>SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing</I>,
June 29, 2007, Prague.
2007.
<br>
<I>An experiment in porting an in-car dialogue system from two to six languages.</I>
</P>
<P>
A. Ranta.
Features in Abstract and Concrete Syntax.
<I>The 2nd International Workshop on Typed Feature Structure Grammars</I>,
Tartu, 24 May 2007 (NODALIDA workshop).
2007.
<br>
<I>Explores the design choices of incorporating features in a GF-like grammar,</I>
<I>with comparisons to feature-based unification grammars.</I>
</P>
<P>
O. Caprotti and M. Seppälä.
Multilingual Delivery of Online Tests in mathematics.
Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006.
Berlin, Germany.
2006.
<A HREF="http://webalt.math.helsinki.fi/content/e16/e301/e785/MultilingualDeliveryofOnlineTestsinMathematics_eng.pdf">pdf</A>
<br>
<I>This papers shows screenshots of multilingual generation in the</I>
<I>WebALT project, using GF and the resource grammar library.</I>
</P>
<P>
J. Khegai.
Language engineering in Grammatical Framework (GF).
Phd thesis, Computer Science, Chalmers University of Technology,
2006.
<A HREF="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">pdf</A>
<br>
<I>Collection of articles and technical reports on multilingual authoring</I>
<I>and the Russian resource grammar.</I>
</P>
<P>
B. Bringert and A. Ranta.
A Pattern for Almost Compositional Functions.
<I>ICFP 2006, The 11th ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 18-20, 2006</I>,
2006.
<A HREF="http://www.cs.chalmers.se/~bringert/publ/composOp/composOp.pdf">pdf</A>.
<br>
<I>A method of generic programming useful for compiler construction</I>
<I>and transfer-based translation.</I>
</P>
<P>
M. Forsberg, H. Hammarstrom, and A. Ranta.
Morphological Lexicon Extraction from Raw Text Data.
<I>FinTAL 2006</I>,
Turku, August 23-25, 2006.
Springer LNCS/LNAI 4139,
pp. 488-499,
2006.
<br>
<I>A method for automatical production of morphological lexica based</I>
<I>on inflection engines such as those of GF resource grammar library.</I>
</P>
<P>
A. Ranta.
Type Theory and Universal Grammar.
<I>Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics</I>,
cahier spécial 6,
pp. 115-131,
2006.
<br>
<I>A philosophical study of the medieval thesis that</I>
<I>grammar is the same in all languages and the difference is only in words.</I>
</P>
<P>
J Khegai.
GF parallel resource grammars and Russian.
In proceedings of ACL2006
(The joint conference of the International Committee on Computational (The joint conference of the International Committee on Computational
Linguistics and the Association for Computational Linguistics) (pp. 475-482), Linguistics and the Association for Computational Linguistics) (pp. 475-482),
Sydney, Australia, July 2006. Sydney, Australia, July 2006.
<br>
<p> <I>Gives an outline of the Russian resource grammar project.</I>
</P>
J. Khegai. "Grammatical Framework (GF) for MT in sublanguage domains". <P>
In proceedings of J. Khegai.
<A href="http://eamt.emmtee.net/index.php?page=1">EAMT-2006</A> (11th Annual conference of the European Association for Grammatical Framework (GF) for MT in sublanguage domains.
Machine Translation) (pp. 95-104), Oslo, Norway, 2006. Proceedings of 11th Annual conference of the European Association for
Machine Translation, , Oslo.
<p> pp. 95-104,
2005.
W. Ng'ang'a. Multilingual content development for eLearning in Africa. <br>
eLearning Africa: 1st Pan-African Conference on ICT for Development, <I>Shows how GF is used in controlled language translation.</I>
</P>
<P>
W. Ng'ang'a.
Multilingual content development for eLearning in Africa.
eLearning Africa: 1st Pan-African Conference on ICT for Development,
Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia. Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia.
<a href="http://webalt.math.helsinki.fi/content/e16/e301/e583/MultilingualContentDevelopmentforeLearninginAfrica-final1_eng.pdf">pdf</a>. 2006.
<A HREF="http://webalt.math.helsinki.fi/content/e16/e301/e583/MultilingualContentDevelopmentforeLearninginAfrica-final1_eng.pdf">pdf</A>
<p>
R. Jonson. (2006) Generating statistical language models from interpretation
grammars in dialogue system. In Proceedings of EACL'06, Trento, Italy.
<br> <br>
<i>Uses GF grammars to generate statistical language models for speech recognition.</i> <I>Presents a programme for producing educational material in African languages</I>
<I>via multilingual generation in GF.</I>
<p> </P>
<P>
O. Caprotti and M. Sepp&auml;l&auml;. R. Jonson.
Multilingual Delivery of Online Tests in mathematics. Generating statistical language models from interpretation grammars in dialogue system.
Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006. Berlin, Germany. In Proceedings of EACL'06, Trento, Italy.
<a href="http://webalt.math.helsinki.fi/content/e16/e301/e785/MultilingualDeliveryofOnlineTestsinMathematics_eng.pdf"> 2006.
pdf
</a>.
<br> <br>
<i>This papers shows screenshots of multilingual generation in the <I>Uses GF grammars to generate statistical language models for speech recognition.</I>
WebALT project, using GF and the resource grammar library.</i> </P>
<P>
<p>
J. Khegai. Language engineering in Grammatical Framework (GF).
Phd thesis, 2006, <A href="http://www.cs.chalmers.se/">Chalmers University of
Technology.</A>
<A href="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">pdf</a>
<p>
J Khegai. "GF parallel resource grammars and Russian".
In proceedings of <A href="www.acl2006.mq.edu.au">Coling\ACL2006</A>
(The joint conference of the International Committee on Computational
Linguistics and the Association for Computational Linguistics) (pp. 475-482),
Sydney, Australia, July 2006.
<p>
J. Khegai. "Grammatical Framework (GF) for MT in sublanguage domains".
In proceedings of
<A href="http://eamt.emmtee.net/index.php?page=1">EAMT-2006</A> (11th Annual conference of the European Association for
Machine Translation) (pp. 95-104), Oslo, Norway, 2006.
<p>
W. Ng'ang'a. Multilingual content development for eLearning in Africa.
eLearning Africa: 1st Pan-African Conference on ICT for Development,
Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia.
<a href="http://webalt.math.helsinki.fi/content/e16/e301/e583/MultilingualContentDevelopmentforeLearninginAfrica-final1_eng.pdf">pdf</a>.
<p>
R. Jonson. (2006) Generating statistical language models from interpretation
grammars in dialogue system. In Proceedings of EACL'06, Trento, Italy.
<br>
<i>Uses GF grammars to generate statistical language models for speech recognition.</i>
<p>
A. El Dada and A. Ranta. A. El Dada and A. Ranta.
"Arabic Resource Grammar". Arabic Resource Grammar.
Arabic Language Processing (JETALA), 5-6 June 2006, IERA, Rabat, Morocco. <I>Arabic Language Processing (JETALA)</I>,
5-6 June 2006, IERA, Rabat, Morocco,
<p> 2006.
<br>
A. El Dada and A. Ranta. <I>An outline of the Arabic resource grammar project, focusing on software aspects.</I>
"Implementing an Open Source Arabic Resource Grammar in GF". </P>
20th Arabic Linguistics Symposium <P>
Western Michigan University,
March 3-5 2006.
<p>
D. A. Burke and K. Johannisson. D. A. Burke and K. Johannisson.
"Translating Formal Software Specifications to Natural Language / A Grammar-Based Approach". Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach.
In Logical Aspects of Computational Linguistics (LACL 2005), ed. by P. Blace, E. Stabler, In P. Blache, E. Stabler, J. Busquets and R. Moot (eds),
J. Busquets and R. Moot, Springer LNAI 3402, pp. 51-66, 2005. Logical Aspects of Computational Linguistics (LACL 2005),
Springer LNAI 3402,
pp. 51-66,
2005.
<br> <br>
<i>A paper explaining how a multilingual GF grammar is completed with Natural Language <I>A paper explaining how a multilingual GF grammar is completed with</I>
Generation techniques to improve text quality.</i> <I>Natural Language Generation techniques to improve text quality.</I>
</P>
<p> <P>
B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta,
Bj&ouml;rn Bringert, Robin Cooper, Peter Ljungl&ouml;f, Aarne Ranta, Multimodal Dialogue System Grammars.
<a href="publ/mm-grammars-dialor/mm-grammars-dialor.pdf">Multimodal Dialogue System Grammars</a> <I>Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005</I>,
[<a href="publ/mm-grammars-dialor/mm-grammars-dialor-abstract.txt">abstract</a>, 2005.
<a href="publ/mm-grammars-dialor/mm-grammars-dialor.pdf">paper (pdf)</a>, <A HREF="http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf">pdf</A>.
<a href="publ/mm-grammars-dialor/mm-grammars-dialor.ps">paper (ps)</a>,
<a href="publ/mm-grammars-dialor/mm-grammars-dialor.bib">bibtex</a>,
<a href="publ/mm-grammars-dialor/mm-grammars-dialor-slides.pdf">slides (pdf)</a>],
in Proceedings of
<a href="http://dialor05.loria.fr/">DIALOR'05</a>,
Ninth Workshop on the Semantics
and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005.
<br> <br>
<i> <I>Shows how mouse clicks can be integrated in GF grammars</I>
Shows how mouse clicks can be integrated in GF grammars <I>alongside with speech input.</I>
alongside with speech input. </P>
</i> <P>
K. Johannisson,
<p> Formal and Informal Software Specifications.
PhD thesis,
<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>, Computer Science, Göteborg University,
<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf"> 2005.
Formal and Informal Software Specifications</a>. [<A HREF="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf</A>]
PhD thesis, Computer Science, Göteborg University, 2005.
<p>
A. Ranta,
"Modular Grammar Engineering in GF".
Available in
<A
HREF="http://www.cs.chalmers.se/~aarne/articles/ar-multieng.pdf">
pdf</A> (ms, 2005). A later version to appear in
<i>Research in Language and Computation</i>.
<br> <br>
<i>Argues for library-based software engineering methods in grammar writing and introduces <I>Collection of articles in the GF-KeY project, with an introduction.</I>
the module system of GF.</i> </P>
<P>
<p> A. Ranta.
Modular Grammar Engineering in GF.
<I>Research on Language and Computation</I>,
2007, to appear.
Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/multieng3.pdf">pdf</A>.
<br>
<I>Adapts library-based software engineering methods to grammar writing</I>
<I>and introduces the module system of GF.</I>
</P>
<P>
P. Ljunglöf. P. Ljunglöf.
<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf"> Expressivity and Complexity of the Grammatical Framework.
Expressivity and Complexity of the Grammatical Framework</a>. PhD thesis, Computer Science,
PhD thesis, Computer Science, Göteborg University, 2004. Göteborg University,
2004.
<A HREF="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf">pdf</A>
<br> <br>
<i>Language-theoretical study of GF and its parsing problem.</i> <I>Language-theoretical study of GF and its parsing problem.</I>
</P>
<p> <P>
A. Ranta.
A. Ranta, Grammatical Framework: A Type-Theoretical Grammar Formalism.
"Grammatical Framework. A Type-Theoretical Grammar Formalism". <I>Journal of Functional Programming</I>, 14(2),
Article appeared in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189. pp. 145-189,
Earlier version 2004.
available in Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">ps.gz</A>.
<a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">
gzipped postscript</A>.
<br> <br>
<i>Theoretical paper explaining the GF formalism and its <I>Theoretical paper explaining the GF formalism and its implementation.</I>
implementation. Aimed to be the standard reference on GF, but doesn't <I>The standard reference on GF, but doesn't cover the module system.</I>
cover the module system. </P>
</i> <P>
A. Ranta.
<p> Computational semantics in type theory.
<I>Mathematics and Social Sciences</I>, 165,
A. Ranta, pp. 31-57,
"Computational Semantics in Type Theory". 2004.
<i>Mathematics and Social Sciences</i>, 165:31-57, 2004 Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/3formsem.pdf">pdf</A>.
An earlier version appeared as
course material for graduate course in computational linguistics,
Gothenburg University, 2001.
Available in
<A HREF="http://www.cs.chalmers.se/~aarne/articles/compsem.ps.gz">
gzipped postscript</A>.
<br> <br>
<i> Shows how PTQ-style grammars are implemented in GF and extends // Shows how Montague-style grammars are implemented in GF and extends//
this to type-theoretical grammars for anaphoric expressions.</i> <I>this to type-theoretical grammars for anaphoric expressions.</I>
</P>
<p> <P>
H. Hammarström and A. Ranta. H. Hammarström and A. Ranta.
Cardinal Numerals Revisited in GF. Workshop on Numerals in the World's Languages. Cardinal Numerals Revisited in GF.
<I>Workshop on Numerals in the World's Languages</I>.
Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig, Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig,
Germany, 2004. 2004.
<br> <br>
<i> <I>An overview of the numeral grammar project.</I>
An overview of the numeral grammar project. </P>
</i> <P>
A. Ranta.
<p> Grammatical Framework Tutorial.
In A. Beckmann and N. Preining, editors,
A. Ranta. Grammatical Framework Tutorial. In A. Beckmann and <I>ESSLLI 2003 Course Material I</I>,
N. Preining, editors, ESSLLI 2003 Course Material I, volume V of Collegium Logicum, <I>Collegium Logicum</I>,
pages 1-86. Kurt Gödel Society, 2004. volume V,
pp. 1-86.
Kurt Gödel Society,
Vienna,
2004.
<br> <br>
<i> <I>A revised version of the on-line GF tutorial, v1.0.</I>
A revised version of the on-line GF tutorial. </P>
</i> <P>
J. Khegai and A. Ranta.
<p> Building and Using a Russian Resource Grammar in GF.
In A. Gelbukh (ed),
J. Khegai and A. Ranta. "Building and using a Russian Resource Grammar in GF". <I>Intelligent Text Processing and Computational Linguistics (CICLing-2004)</I>,
In Intelligent Text Processing and Computational Linguistics (CICLing-2004), Seoul, Korea, February 2003,
Seoul, Korea. LNCS, pages 38-41. Springer, 2004. Springer LNCS 945,
pp. 38-41,
2004.
<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
<br> <br>
<i>An introduction to the GF resource grammar project, with Russian as prime example. <I>An introduction to the GF resource grammar project, with Russian as prime example.</I>
</i> </P>
<P>
<p> A. Ranta and R. Cooper.
Dialogue Systems as Proof Editors.
A. Ranta and R. Cooper, <I>Journal of Logic, Language and Information</I>, 13,
"Dialogue Systems as Proof Editors". pp. 225-240,
<i>Journal of Logic, Language and Information</i>, 13:225-240, 2004. 2004.
An earlier version appeared in Conference version (IJCAR/ICoS-3, Siena, June 2001) available as
IJCAR/ICoS-3, Siena, June 2001. <A HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz">ps.gz</A>.
Available in <I>Shows a close analogy between task-oriented dialogue systems</I>
<A NAME="tex2html8" <I>and metavariable-based proof editors.</I>
HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz"> </P>
gzipped postscript</A>. <P>
J. Khegai and A. Ranta.
<p> Building and Using a Russian Resource Grammar in GF.
In A. Gelbukh (ed),
<I>Intelligent Text Processing and Computational Linguistics (CICLing-2004)</I>,
J. Khegai, B. Nordström, and A. Ranta. Seoul, Korea, February 2003,
"Multilingual Syntax Editing in GF", Springer LNCS 945,
In pp. 38-41,
<i>Intelligent Text Processing and Computational Linguistics 2004.
(CICLing-2003)</i>, <A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
ed. by A. Gelbukh,
Springer LNCS 2588, pp. 453-464.
Available in
<a
href="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">gzipped postscript</a>.
<br> <br>
<i> <I>Explains how the GF GUI is used in syntax editing and discusses</I>
Explains how the GF GUI is used in syntax editing and discusses <I>how new grammars are created.</I>
how new grammars are created. </P>
</i> <P>
<p>
R. Hähnle, K. Johannisson, and A. Ranta. R. Hähnle, K. Johannisson, and A. Ranta.
"An Authoring Tool for Informal and Formal An Authoring Tool for Informal and Formal Requirements Specifications.
Requirements Specifications". In R. D. Kutsche and H. Weber (eds),
In <I>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</I>,
<i>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</i>, Springer LNCS,
ed. by R. D. Kutsche and H. Weber, vol. 2306,
Springer LNCS, vol. 2306, pp. 233--248,
pp. 233--248, 2002. 2002.
Available in <A HREF="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</A>
<a href="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</a>.
<br> <br>
<i>Describes a GF-based authoring tool for object-oriented <I>Describes a GF-based authoring tool for object-oriented</I>
specifications in OCL and English. Carries out in full <I>specifications in OCL and English. Carries out in full</I>
the work proposed in the position paper (Hähnle & Ranta 2001).</i> <I>the work proposed in the position paper (Hähnle &amp; Ranta 2001).</I>
</P>
<P>
<p>
K. Johannisson and A.Ranta, K. Johannisson and A.Ranta,
"Formal Verification of Multilingual Instructions", Formal Verification of Multilingual Instructions.
Proceedings of the <I>Proceedings of the Joint Winter Meeting 2001</I>.
Joint Winter Meeting 2001 of the Departments of Departments of Computer Science and Computer Engineering,
Computer Science and Computer Engineering,
Chalmers University of Technology and Göteborg University. Chalmers University of Technology and Göteborg University.
Available in 2001.
<A HREF="../../articles/aarne+krijo.ps.gz">gzipped postscript</A>. <A HREF="http://www.cs.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>.
<br> <br>
<i>Instructions for an alarm system in four languages, verified in the <I>Instructions for an alarm system in four languages, verified in the proof editor Alfa.</I>
proof editor Alfa.</i> </P>
<P>
<p>
R. Hähnle and A. Ranta, R. Hähnle and A. Ranta,
"Connecting OCL with the Rest of the World", Connecting OCL with the Rest of the World.
ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001. <I>ETAPS 2001 Workshop on Transformations in UML (WTUML)</I>,
Available in Genova,
<A 2001.
HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">gzipped postscript</A>. <A HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">ps.gz</A>.
<br> <br>
<i>A position paper explaining how GF can be used to help in object-oriented <I>A position paper explaining how GF can be used to help in object-oriented</I>
modelling, with some examples on natural-language interaction with <I>modelling, with some examples on natural-language interaction with</I>
OCL (Object Constraint Language)</i>. <I>OCL (Object Constraint Language)</I>.
</P>
<p> <P>
T. Hallgren, "The Correctness of Insertion Sort", T. Hallgren, "The Correctness of Insertion Sort",
Manuscript, Chalmers University, Göteborg, 2001. Manuscript, Chalmers University, Göteborg, 2001.
Available in Available in
<A <A HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A>
HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps">
postscript</A>.
<br> <br>
<i>A seven-page text generated by GF-Alfa</i>. <I>A seven-page text generated by GF-Alfa</I>.
</P>
<p> <P>
A. Ranta. "Bescherelle bricolé", A. Ranta. "Bescherelle bricolé",
<A HREF="../../GF2.0/doc/BeschBric.ps.gz">gzipped postscript</A>, 2001. <A HREF="../../GF2.0/doc/BeschBric.ps.gz">ps.gz</A>,
2001.
<br> <br>
<i>A machine-generated book on French conjugation implemented in GF.</i> <I>A machine-generated book on French conjugation implemented in GF.</I>
</P>
<p> <P>
T. Hallgren and A. Ranta,
T. Hallgren and A. Ranta, "An Extensible Proof Text Editor". An Extensible Proof Text Editor.
M. Parigot & A. Voronkov (eds), In M. Parigot and A. Voronkov (eds),
Logic for Programming and Automated Reasoning (LPAR'2000), <I>Logic for Programming and Automated Reasoning (LPAR'2000)</I>,
LNCS/LNAI 1955, pp. 70-84, LNCS/LNAI 1955,
Springer Verlag, Heidelberg, 2000. pp. 70-84,
Available in Springer Verlag, Heidelberg,
<A NAME="tex2html6" 2000.
HREF="../../articles/lpar2000.ps.gz">gzipped postscript</A>. <A HREF="http://www.cs.chalmers.se/~aarne/articles/lpar2000.ps.gz">ps.gz</A>.
<br> <br>
<i>Describes an interface to the proof editor Alfa written in GF</i>. <I>Describes an interface to the proof editor Alfa written in GF</I>.
</P>
<p> <P>
M. Dymetman, V. Lux, and A. Ranta, M. Dymetman, V. Lux, and A. Ranta,
"XML and multilingual document authoring: converging trends", XML and multilingual document authoring: converging trends.
Proceedings of the The 18th International Conference <I>Proceedings of the The 18th International Conference on Computational Linguistics (COLING 2000)</I>,
on Computational Linguistics (COLING 2000), pp. 243-249, pp. 243-249,
Saarbruecken, 2000. Saarbruecken,
Available in 2000.
<A NAME="tex2html6" <A HREF="http://www.cs.chalmers.se/~aarne/articles/coling2000.ps.gz">ps.gz</A>.
HREF="../../articles/coling2000.ps.gz">gzipped postscript</A>.
<br> <br>
<i>Relates GF not only with XML but also with definite clause grammars</i>. <I>Relates GF not only with XML but also with definite clause grammars</I>.
</P>
<p> <P>
P. Mäenpää and A. Ranta.
The type theory and type checker of GF.
P. M&#228;enp&#228;&#228; and A. Ranta. <I>Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999</I>.
The type theory and type checker of GF. 1999.
Colloquium on Principles, Logics, and Implementations of High-Level <A HREF="href=http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz">ps.gz</A>.
Programming Languages,
Workshop on Logical Frameworks and Meta-languages,
Paris, France, 28 September 1999. Available in
<A NAME="tex2html5"
HREF="http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz">
gzipped postscript</A>.
<br> <br>
<i>Concise theoretical presentation of GF, using the old notation.</i>. <I>Concise theoretical presentation of GF, using the old notation prior to v0.9</I>.
</P>
<p> <H2>Background for GF</H2>
<P>
<h3>Background for GF</h3>
In alphabetical order: In alphabetical order:
</P>
<p> <P>
L. Magnusson. L. Magnusson.
<i>The Implementation of ALF - a Proof Editor based on Martin-Löf's <I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I>
Monomorphic Type Theory with Explicit Substitutions</i>. <I>Monomorphic Type Theory with Explicit Substitutions</I>.
PhD Thesis, Department of Computing Science, PhD Thesis, Department of Computing Science,
Chalmers University of Technology and Göteborg University, Chalmers University of Technology and Göteborg University,
1994. 1994.
<br> <br>
<i>Back in 1992 the most wonderful program in the world, ALF is <I>Back in 1992 the most wonderful program in the world, ALF is</I>
a model that GF directly follows: GF is Yet ALF.</i> <I>a model that GF directly follows: GF is Yet ALF.</I>
</P>
<p> <P>
P. Martin-Löf. P. Martin-Löf.
<i>Intuitionistic Type Theory</i>. <I>Intuitionistic Type Theory</I>.
Bibliopolis, Naples, 1984. Bibliopolis, Naples, 1984.
<br> <br>
<i>A very accessible book (if you have access to it!) <I>A very accessible book (if you have access to it!) on type theory directly from the source.</I>
on type theory directly from the source.</i> </P>
<P>
<p>
B. Nordström, K. Petersson, and J. Smith. B. Nordström, K. Petersson, and J. Smith.
<i>Programming in Martin-Löf's Type Theory: an Introduction</i>. <I>Programming in Martin-Löf's Type Theory: an Introduction</I>.
Oxford University Press, 1990. Oxford University Press, 1990.
The book is out of print, but a free version can be picked up from The book is out of print, but a free version can be picked up from
<a href="http://www.cs.chalmers.se/Cs/Research/Logic/book/"> <A HREF="http://www.cs.chalmers.se/Cs/Research/Logic/book/">www.cs.chalmers.se/Cs/Research/Logic/book/</A>
www.cs.chalmers.se/Cs/Research/Logic/book/</a>
<br> <br>
<i>Standard reference on the subject</i>. <I>Standard reference on the subject</I>.
</P>
<p> <P>
A. Ranta. A. Ranta.
<EM>Type Theoretical Grammar</EM>. <I>Type Theoretical Grammar</I>.
Oxford University Press, Oxford, 1994. Oxford University Press, Oxford,
<a href="http://www4.oup.co.uk/isbn/0-19-853857-X">Publisher's information</a>. 1994.
<br> <br>
<i>Monograph on type theory in linguistics. Includes an introduction <I>Monograph on type theory in linguistics. Includes an introduction</I>
to type theory. Much focused on anaphora. A first, very rudimentary <I>to type theory. Focused on semantics, in particular anaphora. A first,</I>
implementation of syntax in the proof system ALF.</i> <I>very rudimentary implementation of linearization in the proof system ALF.</I>
</P>
<p> <P>
A. Ranta. A. Ranta.
Syntactic categories in the language of mathematics. Syntactic categories in the language of mathematics.
P. Dybjer, B. Nordstr&#246;m, and J. Smith, eds., In P. Dybjer, B. Nordström, and J. Smith, eds.,
<EM>Types for Proofs and Programs</EM>, pp. 162-182, <I>Types for Proofs and Programs</I>,
<EM>Lecture Notes in Computer Science</EM> 996, pp. 162-182,
Springer-Verlag, Heidelberg, 1995. Lecture Notes in Computer Science
<!-- 996,
Available in Springer-Verlag,
<A NAME="tex2html4" Heidelberg,
HREF="http://www.uta.fi/~fiaara/articles/ar1995.ps.gz">gzipped postscript</A>. 1995.
--> <A HREF="http://www.cs.chalmers.se/~aarne/articles/baastad.ps.gz">ps.gz</A>
<br> <br>
<i>Predecessor of GF: grammar defined in type theory and implemented <I>Predecessor of GF: grammar defined in type theory and implemented in ALF</I>.
in ALF</i>. </P>
<P>
<p>
A. Ranta. A. Ranta.
Context-relative syntactic categories Context-relative syntactic categories and the formalization of mathematical text.
and the formalization of mathematical text. In S. Berardi and M. Coppo, eds.,
S. Berardi <I>Types for Proofs and Programs</I>,
and M. Coppo, eds., pp. 231-248,
<EM>Types for Proofs and Programs</EM>, pp. 231-248, Lecture Notes in Computer Science
<EM>Lecture Notes in Computer Science</EM> 1158, 1158,
Springer-Verlag, Heidelberg, 1996. Springer-Verlag,
<!-- Heidelberg,
Available in 1996.
<A NAME="tex2html5" <A HREF="http://www.cs.chalmers.se/~aarne/articles/torino.ps.gz">ps.gz</A>.
HREF="http://www.uta.fi/~fiaara/articles/ar1996.ps.gz">gzipped
postscript</A>.
-->
<br> <br>
<i>Extending the theory of the previous paper. <I>Extending the theory of the previous paper. The implementation in ALF</I>
The implementation in ALF eventually became so heavy that <I>eventually became so heavy that the need arose for GF.</I>
the need arose for GF. </P>
</i> <P>
A. Ranta.
<p> Structures grammaticales dans le français mathématique.
<I>Mathématiques, informatique et Sciences Humaines.</I>,
A. Ranta. vol. 138 pp. 5-56 and 139 pp. 5-36,
Structures grammaticales dans le fran&#231;ais math&#233;matique. 1997.
<EM>Math&#233;matiques, informatique et Sciences Humaines.</EM>,
vol. 138 pp. 5-56 and 139 pp. 5-36, 1997.
<br> <br>
<i>A rather comprehensive French grammar presented in a type-theoretical <I>A rather comprehensive French grammar presented in a type-theoretical style.</I>
style.</i> </P>
<P>
<p>
A. Ranta. A. Ranta.
Syntactic calculus with dependent types. Syntactic calculus with dependent types.
<EM>Journal of Logic, Language and Information</EM>, vol. 4, <I>Journal of Logic, Language and Information</I>, vol. 4,
pp. 413-431, 1998. pp. 413-431, 1998.
<br> <br>
<i>Interprets Lambek Calculus in type theory and defines some <I>Interprets Lambek Calculus in type theory and defines some extensions</I>.
extensions</i>. </P>
</body>
</html>
<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
<!-- cmdline: txt2tags gf-bibliography.txt -->
</BODY></HTML>

472
doc/gf-bibliography.txt Normal file
View File

@@ -0,0 +1,472 @@
Grammatical Framework Bibliography
Aarne Ranta
%%date(%c)
% NOTE: this is a txt2tags file.
% Create an html file from this file using:
% txt2tags -thtml --toc gf-reference.html
%!target:html
%!postproc(html): #BR <br>
==Publications on GF==
In reverse temporal order:
A. El Dada and A. Ranta.
Implementing an Open Source Arabic Resource Grammar in GF.
In M. Mughazy (ed),
//Perspectives on Arabic Linguistics XX. Papers from the Twentieth Annual Symposium on Arabic Linguistics, Kalamazoo, March 26//
John Benjamins Publishing Company.
2007.
#BR
//An outline of the Arabic resource grammar project, focusing on linguistic aspects.//
A. Ranta.
The GF Grammar Compiler.
//Workshop on New Directions in Type-theoretic Grammars//,
Dublin, August 2007 (ESSLLI workshop).
2007.
#BR
//Describes the compilation of GF source code to lower-level run-time formats.//
M. Humayoun, H. Hammarström, and A. Ranta.
Urdu Morphology, Orthography and Lexicon Extraction.
//CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages//,
July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University.
2007.
#BR
//Fairly complete open-source Urdu morphology and elemenraty syntax in GF.//
N. Perera and A. Ranta.
Dialogue System Localization with the GF Resource Grammar Library.
//SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing//,
June 29, 2007, Prague.
2007.
#BR
//An experiment in porting an in-car dialogue system from two to six languages.//
A. Ranta.
Features in Abstract and Concrete Syntax.
//The 2nd International Workshop on Typed Feature Structure Grammars//,
Tartu, 24 May 2007 (NODALIDA workshop).
2007.
#BR
//Explores the design choices of incorporating features in a GF-like grammar,//
//with comparisons to feature-based unification grammars.//
O. Caprotti and M. Seppälä.
Multilingual Delivery of Online Tests in mathematics.
Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006.
Berlin, Germany.
2006.
[pdf http://webalt.math.helsinki.fi/content/e16/e301/e785/MultilingualDeliveryofOnlineTestsinMathematics_eng.pdf]
#BR
//This papers shows screenshots of multilingual generation in the//
//WebALT project, using GF and the resource grammar library.//
J. Khegai.
Language engineering in Grammatical Framework (GF).
Phd thesis, Computer Science, Chalmers University of Technology,
2006.
[pdf http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf]
#BR
//Collection of articles and technical reports on multilingual authoring//
//and the Russian resource grammar.//
B. Bringert and A. Ranta.
A Pattern for Almost Compositional Functions.
//ICFP 2006, The 11th ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 18-20, 2006//,
2006.
[pdf http://www.cs.chalmers.se/~bringert/publ/composOp/composOp.pdf].
#BR
//A method of generic programming useful for compiler construction//
//and transfer-based translation.//
M. Forsberg, H. Hammarstrom, and A. Ranta.
Morphological Lexicon Extraction from Raw Text Data.
//FinTAL 2006//,
Turku, August 23-25, 2006.
Springer LNCS/LNAI 4139,
pp. 488-499,
2006.
#BR
//A method for automatical production of morphological lexica based//
//on inflection engines such as those of GF resource grammar library.//
A. Ranta.
Type Theory and Universal Grammar.
//Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics//,
cahier spécial 6,
pp. 115-131,
2006.
#BR
//A philosophical study of the medieval thesis that//
//grammar is the same in all languages and the difference is only in words.//
J Khegai.
GF parallel resource grammars and Russian.
In proceedings of ACL2006
(The joint conference of the International Committee on Computational
Linguistics and the Association for Computational Linguistics) (pp. 475-482),
Sydney, Australia, July 2006.
#BR
//Gives an outline of the Russian resource grammar project.//
J. Khegai.
Grammatical Framework (GF) for MT in sublanguage domains.
Proceedings of 11th Annual conference of the European Association for
Machine Translation, , Oslo.
pp. 95-104,
2005.
#BR
//Shows how GF is used in controlled language translation.//
W. Ng'ang'a.
Multilingual content development for eLearning in Africa.
eLearning Africa: 1st Pan-African Conference on ICT for Development,
Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia.
2006.
[pdf http://webalt.math.helsinki.fi/content/e16/e301/e583/MultilingualContentDevelopmentforeLearninginAfrica-final1_eng.pdf]
#BR
//Presents a programme for producing educational material in African languages//
//via multilingual generation in GF.//
R. Jonson.
Generating statistical language models from interpretation grammars in dialogue system.
In Proceedings of EACL'06, Trento, Italy.
2006.
#BR
//Uses GF grammars to generate statistical language models for speech recognition.//
A. El Dada and A. Ranta.
Arabic Resource Grammar.
//Arabic Language Processing (JETALA)//,
5-6 June 2006, IERA, Rabat, Morocco,
2006.
#BR
//An outline of the Arabic resource grammar project, focusing on software aspects.//
D. A. Burke and K. Johannisson.
Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach.
In P. Blache, E. Stabler, J. Busquets and R. Moot (eds),
Logical Aspects of Computational Linguistics (LACL 2005),
Springer LNAI 3402,
pp. 51-66,
2005.
#BR
//A paper explaining how a multilingual GF grammar is completed with//
//Natural Language Generation techniques to improve text quality.//
B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta,
Multimodal Dialogue System Grammars.
//Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005//,
2005.
[pdf http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf].
#BR
//Shows how mouse clicks can be integrated in GF grammars//
//alongside with speech input.//
K. Johannisson,
Formal and Informal Software Specifications.
PhD thesis,
Computer Science, Göteborg University,
2005.
[http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf]
#BR
//Collection of articles in the GF-KeY project, with an introduction.//
A. Ranta.
Modular Grammar Engineering in GF.
//Research on Language and Computation//,
2007, to appear.
Draft available as [pdf http://www.cs.chalmers.se/~aarne/articles/multieng3.pdf].
#BR
//Adapts library-based software engineering methods to grammar writing//
//and introduces the module system of GF.//
P. Ljunglöf.
Expressivity and Complexity of the Grammatical Framework.
PhD thesis, Computer Science,
Göteborg University,
2004.
[pdf http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf]
#BR
//Language-theoretical study of GF and its parsing problem.//
A. Ranta.
Grammatical Framework: A Type-Theoretical Grammar Formalism.
//Journal of Functional Programming//, 14(2),
pp. 145-189,
2004.
Draft available as [ps.gz http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz].
#BR
//Theoretical paper explaining the GF formalism and its implementation.//
//The standard reference on GF, but doesn't cover the module system.//
A. Ranta.
Computational semantics in type theory.
//Mathematics and Social Sciences//, 165,
pp. 31-57,
2004.
Draft available as [pdf http://www.cs.chalmers.se/~aarne/articles/3formsem.pdf].
#BR
// Shows how Montague-style grammars are implemented in GF and extends//
//this to type-theoretical grammars for anaphoric expressions.//
H. Hammarström and A. Ranta.
Cardinal Numerals Revisited in GF.
//Workshop on Numerals in the World's Languages//.
Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig,
2004.
#BR
//An overview of the numeral grammar project.//
A. Ranta.
Grammatical Framework Tutorial.
In A. Beckmann and N. Preining, editors,
//ESSLLI 2003 Course Material I//,
//Collegium Logicum//,
volume V,
pp. 1-86.
Kurt Gödel Society,
Vienna,
2004.
#BR
//A revised version of the on-line GF tutorial, v1.0.//
J. Khegai and A. Ranta.
Building and Using a Russian Resource Grammar in GF.
In A. Gelbukh (ed),
//Intelligent Text Processing and Computational Linguistics (CICLing-2004)//,
Seoul, Korea, February 2003,
Springer LNCS 945,
pp. 38-41,
2004.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz].
#BR
//An introduction to the GF resource grammar project, with Russian as prime example.//
A. Ranta and R. Cooper.
Dialogue Systems as Proof Editors.
//Journal of Logic, Language and Information//, 13,
pp. 225-240,
2004.
Conference version (IJCAR/ICoS-3, Siena, June 2001) available as
[ps.gz http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz].
//Shows a close analogy between task-oriented dialogue systems//
//and metavariable-based proof editors.//
J. Khegai and A. Ranta.
Building and Using a Russian Resource Grammar in GF.
In A. Gelbukh (ed),
//Intelligent Text Processing and Computational Linguistics (CICLing-2004)//,
Seoul, Korea, February 2003,
Springer LNCS 945,
pp. 38-41,
2004.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz].
#BR
//Explains how the GF GUI is used in syntax editing and discusses//
//how new grammars are created.//
R. Hähnle, K. Johannisson, and A. Ranta.
An Authoring Tool for Informal and Formal Requirements Specifications.
In R. D. Kutsche and H. Weber (eds),
//ETAPS/FASE-2002: Fundamental Approaches to Software Engineering//,
Springer LNCS,
vol. 2306,
pp. 233--248,
2002.
[pdf http://www.cs.chalmers.se/~krijo/GF/FASE.pdf]
#BR
//Describes a GF-based authoring tool for object-oriented//
//specifications in OCL and English. Carries out in full//
//the work proposed in the position paper (Hähnle & Ranta 2001).//
K. Johannisson and A.Ranta,
Formal Verification of Multilingual Instructions.
//Proceedings of the Joint Winter Meeting 2001//.
Departments of Computer Science and Computer Engineering,
Chalmers University of Technology and Göteborg University.
2001.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/aarne+krijo.ps.gz].
#BR
//Instructions for an alarm system in four languages, verified in the proof editor Alfa.//
R. Hähnle and A. Ranta,
Connecting OCL with the Rest of the World.
//ETAPS 2001 Workshop on Transformations in UML (WTUML)//,
Genova,
2001.
[ps.gz http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz].
#BR
//A position paper explaining how GF can be used to help in object-oriented//
//modelling, with some examples on natural-language interaction with//
//OCL (Object Constraint Language)//.
T. Hallgren, "The Correctness of Insertion Sort",
Manuscript, Chalmers University, Göteborg, 2001.
Available in
[ps http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps]
#BR
//A seven-page text generated by GF-Alfa//.
A. Ranta. "Bescherelle bricolé",
[ps.gz ../../GF2.0/doc/BeschBric.ps.gz],
2001.
#BR
//A machine-generated book on French conjugation implemented in GF.//
T. Hallgren and A. Ranta,
An Extensible Proof Text Editor.
In M. Parigot and A. Voronkov (eds),
//Logic for Programming and Automated Reasoning (LPAR'2000)//,
LNCS/LNAI 1955,
pp. 70-84,
Springer Verlag, Heidelberg,
2000.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/lpar2000.ps.gz].
#BR
//Describes an interface to the proof editor Alfa written in GF//.
M. Dymetman, V. Lux, and A. Ranta,
XML and multilingual document authoring: converging trends.
//Proceedings of the The 18th International Conference on Computational Linguistics (COLING 2000)//,
pp. 243-249,
Saarbruecken,
2000.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/coling2000.ps.gz].
#BR
//Relates GF not only with XML but also with definite clause grammars//.
P. Mäenpää and A. Ranta.
The type theory and type checker of GF.
//Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999//.
1999.
[ps.gz href=http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz].
#BR
//Concise theoretical presentation of GF, using the old notation prior to v0.9//.
==Background for GF==
In alphabetical order:
L. Magnusson.
//The Implementation of ALF - a Proof Editor based on Martin-Löf's//
//Monomorphic Type Theory with Explicit Substitutions//.
PhD Thesis, Department of Computing Science,
Chalmers University of Technology and Göteborg University,
1994.
#BR
//Back in 1992 the most wonderful program in the world, ALF is//
//a model that GF directly follows: GF is Yet ALF.//
P. Martin-Löf.
//Intuitionistic Type Theory//.
Bibliopolis, Naples, 1984.
#BR
//A very accessible book (if you have access to it!) on type theory directly from the source.//
B. Nordström, K. Petersson, and J. Smith.
//Programming in Martin-Löf's Type Theory: an Introduction//.
Oxford University Press, 1990.
The book is out of print, but a free version can be picked up from
[www.cs.chalmers.se/Cs/Research/Logic/book/ http://www.cs.chalmers.se/Cs/Research/Logic/book/]
#BR
//Standard reference on the subject//.
A. Ranta.
//Type Theoretical Grammar//.
Oxford University Press, Oxford,
1994.
#BR
//Monograph on type theory in linguistics. Includes an introduction//
//to type theory. Focused on semantics, in particular anaphora. A first,//
//very rudimentary implementation of linearization in the proof system ALF.//
A. Ranta.
Syntactic categories in the language of mathematics.
In P. Dybjer, B. Nordström, and J. Smith, eds.,
//Types for Proofs and Programs//,
pp. 162-182,
Lecture Notes in Computer Science
996,
Springer-Verlag,
Heidelberg,
1995.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/baastad.ps.gz]
#BR
//Predecessor of GF: grammar defined in type theory and implemented in ALF//.
A. Ranta.
Context-relative syntactic categories and the formalization of mathematical text.
In S. Berardi and M. Coppo, eds.,
//Types for Proofs and Programs//,
pp. 231-248,
Lecture Notes in Computer Science
1158,
Springer-Verlag,
Heidelberg,
1996.
[ps.gz http://www.cs.chalmers.se/~aarne/articles/torino.ps.gz].
#BR
//Extending the theory of the previous paper. The implementation in ALF//
//eventually became so heavy that the need arose for GF.//
A. Ranta.
Structures grammaticales dans le français mathématique.
//Mathématiques, informatique et Sciences Humaines.//,
vol. 138 pp. 5-56 and 139 pp. 5-36,
1997.
#BR
//A rather comprehensive French grammar presented in a type-theoretical style.//
A. Ranta.
Syntactic calculus with dependent types.
//Journal of Logic, Language and Information//, vol. 4,
pp. 413-431, 1998.
#BR
//Interprets Lambek Calculus in type theory and defines some extensions//.