Book Chapter10.1007/978-3-662-07964-5_14

** Foundations of Inductive Types

Yves Bertot,Pierre Castéran-2004-01-01-Texts in theoretical computer science

0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Type (biology)Constant (computer programming)Function (biology)Section (typography)MathematicsComputer scienceProgramming languageBiology

Chat

Click to start Chat