diff options
| -rw-r--r-- | doc/gf-bibliography.html | 863 | ||||
| -rw-r--r-- | doc/gf-bibliography.txt | 472 |
2 files changed, 894 insertions, 441 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index 841b54a83..318e2e07f 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -1,498 +1,479 @@ -<html> - -<center> -<body bgcolor="#FFFFFF" text="#000000" > - -<IMG SRC="../gf-logo.gif"> - - -<h1>Grammatical Framework Bibliography</h1> -</center> - - - -<h3>Publications on GF</h3> - +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> +<HTML> +<HEAD> +<META NAME="generator" CONTENT="http://txt2tags.sf.net"> +<TITLE>Grammatical Framework Bibliography</TITLE> +</HEAD><BODY BGCOLOR="white" TEXT="black"> +<P ALIGN="center"><CENTER><H1>Grammatical Framework Bibliography</H1> +<FONT SIZE="4"> +<I>Aarne Ranta</I><BR> +Fri May 4 10:23:31 2007 +</FONT></CENTER> + +<H2>Publications on GF</H2> +<P> In reverse temporal order: - -<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. - <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 WebALT project, -using GF and the </i> - -<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. +</P> +<P> +A. El Dada and A. Ranta. +Implementing an Open Source Arabic Resource Grammar in GF. +In M. Mughazy (ed), +<I>Perspectives on Arabic Linguistics XX. Papers from the Twentieth Annual Symposium on Arabic Linguistics, Kalamazoo, March 26</I> +John Benjamins Publishing Company. +2007. <br> -<i>Uses GF grammars to generate statistical language models for speech recognition.</i> - -<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. - <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 -WebALT project, using GF and the resource grammar library.</i> - -<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, +<I>An outline of the Arabic resource grammar project, focusing on linguistic aspects.</I> +</P> +<P> +A. Ranta. +The GF Grammar Compiler. +<I>Workshop on New Directions in Type-theoretic Grammars</I>, +Dublin, August 2007 (ESSLLI workshop). +2007. +<br> +<I>Describes the compilation of GF source code to lower-level run-time formats.</I> +</P> +<P> +M. Humayoun, H. Hammarström, and A. Ranta. +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 + Linguistics and the Association for Computational Linguistics) (pp. 475-482), + Sydney, Australia, July 2006. +<br> +<I>Gives an outline of the Russian resource grammar project.</I> +</P> +<P> +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> +<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. - <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. +2006. +<A HREF="http://webalt.math.helsinki.fi/content/e16/e301/e583/MultilingualContentDevelopmentforeLearninginAfrica-final1_eng.pdf">pdf</A> <br> -<i>Uses GF grammars to generate statistical language models for speech recognition.</i> - -<p> - -A. El Dada and A. Ranta. -"Arabic Resource Grammar". -Arabic Language Processing (JETALA), 5-6 June 2006, IERA, Rabat, Morocco. - -<p> - +<I>Presents a programme for producing educational material in African languages</I> +<I>via multilingual generation in GF.</I> +</P> +<P> +R. Jonson. +Generating statistical language models from interpretation grammars in dialogue system. +In Proceedings of EACL'06, Trento, Italy. +2006. +<br> +<I>Uses GF grammars to generate statistical language models for speech recognition.</I> +</P> +<P> A. El Dada and A. Ranta. -"Implementing an Open Source Arabic Resource Grammar in GF". -20th Arabic Linguistics Symposium -Western Michigan University, -March 3-5 2006. - -<p> - +Arabic Resource Grammar. +<I>Arabic Language Processing (JETALA)</I>, +5-6 June 2006, IERA, Rabat, Morocco, +2006. +<br> +<I>An outline of the Arabic resource grammar project, focusing on software aspects.</I> +</P> +<P> D. A. Burke and K. Johannisson. -"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, -J. Busquets and R. Moot, Springer LNAI 3402, pp. 51-66, 2005. +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> -<i>A paper explaining how a multilingual GF grammar is completed with Natural Language -Generation techniques to improve text quality.</i> - -<p> - -Björn Bringert, Robin Cooper, Peter Ljunglöf, Aarne Ranta, -<a href="publ/mm-grammars-dialor/mm-grammars-dialor.pdf">Multimodal Dialogue System Grammars</a> -[<a href="publ/mm-grammars-dialor/mm-grammars-dialor-abstract.txt">abstract</a>, -<a href="publ/mm-grammars-dialor/mm-grammars-dialor.pdf">paper (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> -<i> -Shows how mouse clicks can be integrated in GF grammars -alongside with speech input. -</i> - -<p> - -<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>, -<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf"> -Formal and Informal Software Specifications</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>. +<I>A paper explaining how a multilingual GF grammar is completed with</I> +<I>Natural Language Generation techniques to improve text quality.</I> +</P> +<P> +B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, +Multimodal Dialogue System Grammars. +<I>Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005</I>, +2005. +<A HREF="http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf">pdf</A>. <br> -<i>Argues for library-based software engineering methods in grammar writing and introduces -the module system of GF.</i> - -<p> - +<I>Shows how mouse clicks can be integrated in GF grammars</I> +<I>alongside with speech input.</I> +</P> +<P> +K. Johannisson, +Formal and Informal Software Specifications. +PhD thesis, +Computer Science, Göteborg University, +2005. +[<A HREF="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf</A>] +<br> +<I>Collection of articles in the GF-KeY project, with an introduction.</I> +</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. -<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf"> -Expressivity and Complexity of the Grammatical Framework</a>. -PhD thesis, Computer Science, Göteborg University, 2004. +Expressivity and Complexity of the Grammatical Framework. +PhD thesis, Computer Science, +Göteborg University, +2004. +<A HREF="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf">pdf</A> <br> -<i>Language-theoretical study of GF and its parsing problem.</i> - -<p> - -A. Ranta, -"Grammatical Framework. A Type-Theoretical Grammar Formalism". -Article appeared in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189. -Earlier version -available in - <a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz"> - gzipped postscript</A>. -<br> -<i>Theoretical paper explaining the GF formalism and its -implementation. Aimed to be the standard reference on GF, but doesn't -cover the module system. -</i> - -<p> - -A. Ranta, - "Computational Semantics in Type Theory". -<i>Mathematics and Social Sciences</i>, 165:31-57, 2004 -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>. +<I>Language-theoretical study of GF and its parsing problem.</I> +</P> +<P> +A. Ranta. +Grammatical Framework: A Type-Theoretical Grammar Formalism. +<I>Journal of Functional Programming</I>, 14(2), +pp. 145-189, +2004. +Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">ps.gz</A>. <br> -<i> Shows how PTQ-style grammars are implemented in GF and extends -this to type-theoretical grammars for anaphoric expressions.</i> - -<p> +<I>Theoretical paper explaining the GF formalism and its implementation.</I> +<I>The standard reference on GF, but doesn't cover the module system.</I> +</P> +<P> +A. Ranta. +Computational semantics in type theory. +<I>Mathematics and Social Sciences</I>, 165, +pp. 31-57, +2004. +Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/3formsem.pdf">pdf</A>. +<br> +// Shows how Montague-style grammars are implemented in GF and extends// +<I>this to type-theoretical grammars for anaphoric expressions.</I> +</P> +<P> 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, -Germany, 2004. +2004. <br> -<i> -An overview of the numeral grammar project. -</i> - -<p> - -A. Ranta. Grammatical Framework Tutorial. In A. Beckmann and -N. Preining, editors, ESSLLI 2003 Course Material I, volume V of Collegium Logicum, -pages 1-86. Kurt Gödel Society, 2004. +<I>An overview of the numeral grammar project.</I> +</P> +<P> +A. Ranta. +Grammatical Framework Tutorial. +In A. Beckmann and N. Preining, editors, +<I>ESSLLI 2003 Course Material I</I>, +<I>Collegium Logicum</I>, +volume V, +pp. 1-86. +Kurt Gödel Society, +Vienna, +2004. <br> -<i> -A revised version of the on-line GF tutorial. -</i> - -<p> - -J. Khegai and A. Ranta. "Building and using a Russian Resource Grammar in GF". -In Intelligent Text Processing and Computational Linguistics (CICLing-2004), -Seoul, Korea. LNCS, pages 38-41. Springer, 2004. +<I>A revised version of the on-line GF tutorial, v1.0.</I> +</P> +<P> +J. Khegai and A. Ranta. +Building and Using a Russian Resource Grammar in GF. +In A. Gelbukh (ed), +<I>Intelligent Text Processing and Computational Linguistics (CICLing-2004)</I>, +Seoul, Korea, February 2003, +Springer LNCS 945, +pp. 38-41, +2004. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>. <br> -<i>An introduction to the GF resource grammar project, with Russian as prime example. -</i> - -<p> - -A. Ranta and R. Cooper, - "Dialogue Systems as Proof Editors". -<i>Journal of Logic, Language and Information</i>, 13:225-240, 2004. -An earlier version appeared in -IJCAR/ICoS-3, Siena, June 2001. -Available in - <A NAME="tex2html8" - HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz"> -gzipped postscript</A>. - -<p> - - -J. Khegai, B. Nordström, and A. Ranta. -"Multilingual Syntax Editing in GF", -In -<i>Intelligent Text Processing and Computational Linguistics -(CICLing-2003)</i>, -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>. +<I>An introduction to the GF resource grammar project, with Russian as prime example.</I> +</P> +<P> +A. Ranta and R. Cooper. +Dialogue Systems as Proof Editors. + <I>Journal of Logic, Language and Information</I>, 13, +pp. 225-240, +2004. +Conference version (IJCAR/ICoS-3, Siena, June 2001) available as + <A HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz">ps.gz</A>. +<I>Shows a close analogy between task-oriented dialogue systems</I> +<I>and metavariable-based proof editors.</I> +</P> +<P> +J. Khegai and A. Ranta. +Building and Using a Russian Resource Grammar in GF. +In A. Gelbukh (ed), +<I>Intelligent Text Processing and Computational Linguistics (CICLing-2004)</I>, +Seoul, Korea, February 2003, +Springer LNCS 945, +pp. 38-41, +2004. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>. <br> -<i> -Explains how the GF GUI is used in syntax editing and discusses -how new grammars are created. -</i> - -<p> - +<I>Explains how the GF GUI is used in syntax editing and discusses</I> +<I>how new grammars are created.</I> +</P> +<P> R. Hähnle, K. Johannisson, and A. Ranta. -"An Authoring Tool for Informal and Formal -Requirements Specifications". -In -<i>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</i>, -ed. by R. D. Kutsche and H. Weber, -Springer LNCS, vol. 2306, -pp. 233--248, 2002. -Available in -<a href="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</a>. +An Authoring Tool for Informal and Formal Requirements Specifications. +In R. D. Kutsche and H. Weber (eds), +<I>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</I>, +Springer LNCS, +vol. 2306, +pp. 233--248, +2002. +<A HREF="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</A> <br> -<i>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).</i> - - -<p> - +<I>Describes a GF-based authoring tool for object-oriented</I> +<I>specifications in OCL and English. Carries out in full</I> +<I>the work proposed in the position paper (Hähnle & Ranta 2001).</I> +</P> +<P> K. Johannisson and A.Ranta, -"Formal Verification of Multilingual Instructions", -Proceedings of the -Joint Winter Meeting 2001 of the Departments of -Computer Science and Computer Engineering, +Formal Verification of Multilingual Instructions. +<I>Proceedings of the Joint Winter Meeting 2001</I>. +Departments of Computer Science and Computer Engineering, Chalmers University of Technology and Göteborg University. -Available in -<A HREF="../../articles/aarne+krijo.ps.gz">gzipped postscript</A>. +2001. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>. <br> -<i>Instructions for an alarm system in four languages, verified in the -proof editor Alfa.</i> - -<p> - +<I>Instructions for an alarm system in four languages, verified in the proof editor Alfa.</I> +</P> +<P> R. Hähnle and A. Ranta, -"Connecting OCL with the Rest of the World", -ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001. -Available in -<A - HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">gzipped postscript</A>. +Connecting OCL with the Rest of the World. +<I>ETAPS 2001 Workshop on Transformations in UML (WTUML)</I>, +Genova, +2001. +<A HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">ps.gz</A>. <br> -<i>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)</i>. - -<p> - +<I>A position paper explaining how GF can be used to help in object-oriented</I> +<I>modelling, with some examples on natural-language interaction with</I> +<I>OCL (Object Constraint Language)</I>. +</P> +<P> T. Hallgren, "The Correctness of Insertion Sort", Manuscript, Chalmers University, Göteborg, 2001. Available in -<A -HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps"> -postscript</A>. +<A HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A> <br> -<i>A seven-page text generated by GF-Alfa</i>. - -<p> - +<I>A seven-page text generated by GF-Alfa</I>. +</P> +<P> 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> -<i>A machine-generated book on French conjugation implemented in GF.</i> - -<p> - -T. Hallgren and A. Ranta, "An Extensible Proof Text Editor". -M. Parigot & A. Voronkov (eds), -Logic for Programming and Automated Reasoning (LPAR'2000), -LNCS/LNAI 1955, pp. 70-84, -Springer Verlag, Heidelberg, 2000. -Available in -<A NAME="tex2html6" - HREF="../../articles/lpar2000.ps.gz">gzipped postscript</A>. +<I>A machine-generated book on French conjugation implemented in GF.</I> +</P> +<P> +T. Hallgren and A. Ranta, +An Extensible Proof Text Editor. +In M. Parigot and A. Voronkov (eds), +<I>Logic for Programming and Automated Reasoning (LPAR'2000)</I>, +LNCS/LNAI 1955, +pp. 70-84, +Springer Verlag, Heidelberg, +2000. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/lpar2000.ps.gz">ps.gz</A>. <br> -<i>Describes an interface to the proof editor Alfa written in GF</i>. - -<p> - +<I>Describes an interface to the proof editor Alfa written in GF</I>. +</P> +<P> 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. -Available in -<A NAME="tex2html6" - HREF="../../articles/coling2000.ps.gz">gzipped postscript</A>. - +XML and multilingual document authoring: converging trends. +<I>Proceedings of the The 18th International Conference on Computational Linguistics (COLING 2000)</I>, +pp. 243-249, +Saarbruecken, +2000. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/coling2000.ps.gz">ps.gz</A>. <br> -<i>Relates GF not only with XML but also with definite clause grammars</i>. - -<p> - - -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, France, 28 September 1999. Available in - <A NAME="tex2html5" - HREF="http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz"> - gzipped postscript</A>. -<br> -<i>Concise theoretical presentation of GF, using the old notation.</i>. - -<p> - - - - - - -<h3>Background for GF</h3> - +<I>Relates GF not only with XML but also with definite clause grammars</I>. +</P> +<P> +P. Mäenpää and A. Ranta. +The type theory and type checker of GF. +<I>Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999</I>. +1999. +<A HREF="href=http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz">ps.gz</A>. +<br> +<I>Concise theoretical presentation of GF, using the old notation prior to v0.9</I>. +</P> +<H2>Background for GF</H2> +<P> In alphabetical order: - -<p> - +</P> +<P> L. Magnusson. -<i>The Implementation of ALF - a Proof Editor based on Martin-Löf's -Monomorphic Type Theory with Explicit Substitutions</i>. +<I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I> +<I>Monomorphic Type Theory with Explicit Substitutions</I>. PhD Thesis, Department of Computing Science, Chalmers University of Technology and Göteborg University, 1994. <br> -<i>Back in 1992 the most wonderful program in the world, ALF is -a model that GF directly follows: GF is Yet ALF.</i> - -<p> - +<I>Back in 1992 the most wonderful program in the world, ALF is</I> +<I>a model that GF directly follows: GF is Yet ALF.</I> +</P> +<P> P. Martin-Löf. -<i>Intuitionistic Type Theory</i>. +<I>Intuitionistic Type Theory</I>. Bibliopolis, Naples, 1984. <br> -<i>A very accessible book (if you have access to it!) -on type theory directly from the source.</i> - -<p> - +<I>A very accessible book (if you have access to it!) on type theory directly from the source.</I> +</P> +<P> 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. 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/"> - www.cs.chalmers.se/Cs/Research/Logic/book/</a> +<A HREF="http://www.cs.chalmers.se/Cs/Research/Logic/book/">www.cs.chalmers.se/Cs/Research/Logic/book/</A> <br> -<i>Standard reference on the subject</i>. - -<p> - +<I>Standard reference on the subject</I>. +</P> +<P> A. Ranta. - <EM>Type Theoretical Grammar</EM>. - Oxford University Press, Oxford, 1994. -<a href="http://www4.oup.co.uk/isbn/0-19-853857-X">Publisher's information</a>. +<I>Type Theoretical Grammar</I>. +Oxford University Press, Oxford, +1994. <br> -<i>Monograph on type theory in linguistics. Includes an introduction -to type theory. Much focused on anaphora. A first, very rudimentary -implementation of syntax in the proof system ALF.</i> - -<p> - +<I>Monograph on type theory in linguistics. Includes an introduction</I> +<I>to type theory. Focused on semantics, in particular anaphora. A first,</I> +<I>very rudimentary implementation of linearization in the proof system ALF.</I> +</P> +<P> A. Ranta. - Syntactic categories in the language of mathematics. - P. Dybjer, B. Nordström, and J. Smith, eds., - <EM>Types for Proofs and Programs</EM>, pp. 162-182, - <EM>Lecture Notes in Computer Science</EM> 996, - Springer-Verlag, Heidelberg, 1995. -<!-- -Available in -<A NAME="tex2html4" - HREF="http://www.uta.fi/~fiaara/articles/ar1995.ps.gz">gzipped postscript</A>. ---> +Syntactic categories in the language of mathematics. +In P. Dybjer, B. Nordström, and J. Smith, eds., +<I>Types for Proofs and Programs</I>, +pp. 162-182, +Lecture Notes in Computer Science +996, +Springer-Verlag, +Heidelberg, +1995. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/baastad.ps.gz">ps.gz</A> <br> -<i>Predecessor of GF: grammar defined in type theory and implemented -in ALF</i>. - -<p> - +<I>Predecessor of GF: grammar defined in type theory and implemented in ALF</I>. +</P> +<P> A. Ranta. - Context-relative syntactic categories - and the formalization of mathematical text. - S. Berardi - and M. Coppo, eds., - <EM>Types for Proofs and Programs</EM>, pp. 231-248, - <EM>Lecture Notes in Computer Science</EM> 1158, - Springer-Verlag, Heidelberg, 1996. -<!-- -Available in -<A NAME="tex2html5" - HREF="http://www.uta.fi/~fiaara/articles/ar1996.ps.gz">gzipped -postscript</A>. ---> -<br> -<i>Extending the theory of the previous paper. -The implementation in ALF eventually became so heavy that -the need arose for GF. -</i> - -<p> - - A. Ranta. - Structures grammaticales dans le français mathématique. - <EM>Mathématiques, informatique et Sciences Humaines.</EM>, - vol. 138 pp. 5-56 and 139 pp. 5-36, 1997. +Context-relative syntactic categories and the formalization of mathematical text. +In S. Berardi and M. Coppo, eds., +<I>Types for Proofs and Programs</I>, +pp. 231-248, +Lecture Notes in Computer Science +1158, +Springer-Verlag, +Heidelberg, +1996. +<A HREF="http://www.cs.chalmers.se/~aarne/articles/torino.ps.gz">ps.gz</A>. <br> -<i>A rather comprehensive French grammar presented in a type-theoretical -style.</i> - -<p> - +<I>Extending the theory of the previous paper. The implementation in ALF</I> +<I>eventually became so heavy that the need arose for GF.</I> +</P> +<P> +A. Ranta. +Structures grammaticales dans le français mathématique. +<I>Mathématiques, informatique et Sciences Humaines.</I>, +vol. 138 pp. 5-56 and 139 pp. 5-36, +1997. +<br> +<I>A rather comprehensive French grammar presented in a type-theoretical style.</I> +</P> +<P> A. Ranta. 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. <br> -<i>Interprets Lambek Calculus in type theory and defines some -extensions</i>. - - - -</body> -</html> +<I>Interprets Lambek Calculus in type theory and defines some extensions</I>. +</P> +<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) --> +<!-- cmdline: txt2tags gf-bibliography.txt --> +</BODY></HTML> diff --git a/doc/gf-bibliography.txt b/doc/gf-bibliography.txt new file mode 100644 index 000000000..a8913ba39 --- /dev/null +++ b/doc/gf-bibliography.txt @@ -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//. + + |