Attachment of a First-Order Data Constructor and Its Application

doi:https://doi.org/10.1016/b978-0-12-037102-0.50006-6

Book Chapter10.1016/b978-0-12-037102-0.50006-6

Attachment of a First-Order Data Constructor and Its Application

Hiroyuki Satō-1991-01-01-Advances in software science and technology

0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Parameterized complexityComputer scienceSimple (philosophy)Representation (politics)Categorical variableSet (abstract data type)DiagramDomain (mathematical analysis)

Chat

Click to start Chat