2013 | OriginalPaper | Chapter
Typed Parsing
Author : Mohan Ganesalingam
Published in: The Language of Mathematics
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This chapter builds on Chapter 4 and Chapter 5 to describe the combined type inference and parsing procedure needed to interpret and disambiguate mathematics. Although some type-related concepts are used in this chapter, few of the actual technical details from Chapter 5 are needed. In particular, readers need not assimilate the details of the technical presentation of types from §5.4.