Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Thierry Coquand
Download Now
Format: eBook (PDF)
Current and New Directions in Discourse and Dialogue
Jan C.J. van Kuppevelt
Download Now
Format: eBook (PDF)