View of Interfacing language, spatial perception and cognition in Type Theory with Records

Return to Article Details Interfacing language, spatial perception and cognition in Type Theory with Records Download Download PDF