SFB 378 Einstiegsseite Postscript File BibTeX Eintrag

C
LISA

A type-theoretic semantics for $\lambda$-DRT

Autor: Michael Kohlhase and Susanna Kuschert and Manfred Pinkal

Herausgeber: P. Dekker and M. Stokhof


SFB 378 Einstiegsseite Postscript File BibTeX Eintrag