Propositions as games as types
Dados Bibliográficos
| ID | 10815670 |
|---|---|
| Autores | Aarne Ranta (0000-0002-5060-1598, Stockholm University, autor correspondente) |
| Ano | 1988 |
| Volume | 76 |
| Fascículo | 3 |
| Páginas | 377-395 |
| Data de publicação | 1988-09-01 |
| Open Access | Sim |
| Tipo | ARTICLE |
| Periódico | Synthese (JOURNAL) |
| Identificadores do periódico | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Editora | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/bf00869607 |
| OpenAlex | W2069971993 |
| Idioma | EN |
| Citações recebidas | 2 |
| Referências citadas | 8 |
Cognitive science · Connection (principal bundle) · Constructive · Denotational semantics · Epistemology · Game semantics · Game theory · Interpretation (philosophy) · Linguistics · Mathematical economics · Metaphysics · Operational semantics · Philosophy of language · Philosophy of science · Programming language · Semantics (computer science) · Theory of computation · Computability, Logic, AI Algorithms · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Psychology
| Citações por ano | 0,22 |
|---|---|
| Intervalo de citações | 2017 - 2018 (2) |
| Altamente citado | Não |