The Constructed Objectivity of Mathematics and the Cognitive Subject (2001)

Cached

Download Links

by Giuseppe Longo
Citations:5 - 0 self

Active Bibliography

3 The reasonable effectiveness of Mathematics and its Cognitive roots – Giuseppe Longo, Ecole Normale Superieure - 2001
3 Mathematics and the Biological Phenomena – Giuseppe Longo
88 Categorical Logic – Andrew M. Pitts - 1995
CHAPTER 7 MATHEMATICAL CONCEPTS AND PHYSICAL OBJECTS – unknown authors
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
2 Geometry as a universal mental construction – Véronique Izard, Stanislas Dehaene, Danielle Hinchey, Elizabeth Spelke - 2011
Recursive Types via Fixpoint Objects – Roy L. Crole - 1992
18 Topical Categories of Domains – Steven Vickers - 1997
24 Deliverables: A Categorical Approach to Program Development in Type Theory – James Hugh McKinna - 1992
3 The Development of Categorical Logic – John L. Bell
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
8 Intuitionistic Sets and Ordinals – Paul Taylor - 1996
23 A Logical View Of Concurrent Constraint Programming – Nax Mendler, P. J. Scott, R. A. G. Seely - 1995
The GLUEING CONSTRUCTION and LAX LIMITS (with applications to categories of structured posets) – Lax Limits, Lax Limits, Harold Simmons, Harold Simmons - 1993