Book Chapter10.1007/978-94-010-1138-9_3

Functional Interpretation and Kripke Models

Jean-Yves Girard-1977-01-01

3

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Interpretation (philosophy)EpistemologyKripke structureComputer scienceMathematicsPhilosophyProgramming language

Chat

Click to start Chat