Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Lambda Calculi: A Guide Interpolation and Definability Comprehensive coverage Discourse Representation Theory comprehensive coverage Focuses on selected topics

Klappentext
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Zusammenfassung
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Inhalt

Editorial Preface.- Dov M. Gabbay.- Lambda Calculi: A Guide.- Chris Hankin.- Interpolation and Definability .- Dov Gabbay and Larisa L. Maksimova.- Discourse Representation Theory .- Hans Kamp, Josef van Genabith and Uwe Reyle.- Index.