Bengt Nordstrom

Bengt Nordström

Aarne Ranta

This volume contains the papers presented at GoTAL 2008, the 6th Inter- tional Conference on NaturalLanguageProcessing, held on August 25-27,2008, at Chalmers University of Technology in Gothenburg, Sweden. GoTAL was the sixth conference in the TAL series, preceded by FracTAL 1997 (Universitede Franche-Comt e, Besan, con, France), VexTAL 1999 (Universita Ca' Foscari di Venezia, Venice, Italy), PorTAL 2002 (Universidade do Algarve, Faro, Por- gal), EsTAL 2004 (Universitat d'Alacant, Alicante, Spain), and FinTAL 2006 (University of Turku, Turku, Finland). The conference received 107 submissions. Each submission was reviewed by three programme committee members or external reviewers. The committee- nally accepted 44 papers to be presented at the conference and included in the proceedings. The conference programme also included three invited talks, which are the ?rst three papers in this volume. We are grateful to the programme committee members and the external - viewers for their careful and punctual work. The sta? in the local organization team at Chalmers helped in a very professional way. The sponsors contributed, in particular, to the social programme planned for the conference. The invited speakers - Johan Bos, Lori Lamel, and Joakim Nivre - gave the scienti?c p- gramme the broad, yet focused, pro?le that we wanted to achieve. And ?nally, it is essentially the authors of the submissions that created the substance of the conference and this volume, with all their good papers and their cooperative attitude.

6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Advances in Natural Language Processing

Kent Petersson

Jan M. Smith

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

Bengt Nordstrom

Books

Your next favorite book is out there