MPG.eBooks - Search Results - "syntax"

Cover Image

1

Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... -- Recognizing Head Movement -- Combinators for Paraconsistent Attitudes -- Combining Syntax and Pragmatic...”

Cover Image

2

Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... abstract syntax -- Eta-expansions in dependent type theory — The calculus of constructions -- Proof nets...”