Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Formal languages
• Predicate logic
• Metalogic
• First-order logic
• Principia Mathematica
• Interpretation
• Well-formed formula
• Lambda calculus

The Foundations of Quantum Mechanics and The Limitations of Human Beings Roderich Tumulka Department of Mathematics 21 February 2011

Source URL: www.math.rutgers.edu

If human nature does not constrain human possibilities, why is it worth knowing about? Paul E. Griffiths Department of Philosophy and Sydney Centre for the Foundations of Science, University of Sydney,

Source URL: representinggenes.org

From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal )

Source URL: www.site.uottawa.ca

Resource-Bounded Measure Bibliography John M. Hitchcock [1] E. Allender. Circuit complexity before the dawn of the new millennium. In Proceedings of the 16th Annual Conference on Foundations of Softw

Source URL: www.cs.uwyo.edu

Evolutionary Foundations of Cooperation and Group Cohesion Steven A. Frank Abstract In biology, the evolution of increasingly cooperative groups has shaped the history of life. Genes collaborate in the control of cells;

Source URL: stevefrank.org

Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY

Source URL: www.heidelberg-laureate-forum.org

CALL FOR PAPERS QUDOS 2015 1ST INTERNATIONAL WORKSHOP ON QUALITY-AWARE DEVOPS Co-located with the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Sof

Source URL: download.fortiss.org

Computability and Complexity Foundations of Computing Michael Garey and Albert Meyer, editors Complexity Issues in VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks, Frank Thomson Leighton, 1983

Source URL: www.diku.dk

research papers Acta Crystallographica Section A Foundations of Crystallography

Source URL: www.cryst.ehu.es