Classical And Constructive Hierarchies In Extended Intuitionistic Analysis

Cached

Download Links

by Joan Rand Moschovakis
Citations:4 - 3 self

Active Bibliography

889 The Symbol Grounding Problem – Stevan Harnad - 1990
UNAVOIDABLE SEQUENCES IN CONSTRUCTIVE ANALYSIS – Joan Rand Moschovakis
201 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
191 Computational Complexity and Feasibility of Data Processing and Interval Computations, With Extension to Cases When We Have Partial Information about Probabilities – Vladik Kreinovich, Luc Longpre - 2003
165 Constructivism and Proof Theory – A. S. Troelstra - 2003
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
138 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
124 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
117 Explicit Provability And Constructive Semantics – Sergei N. Artemov - 2001