Resource Definition and 106 Threads
-
Online resource for type theory?
Does anyone know a good online resource for type theory? I've heard that in it, there is a "universal object" which "contains" all other "objects." Is this right? Where can I get the good stuff? I know I can google for it; I'm not a moron. I just want your recommendations instead of a list...- phoenixthoth
- Thread
- Resource Theory Type
- Replies: 33
- Forum: Set Theory, Logic, Probability, Statistics
-
M
Find the Right Computer Science Resource: Ask Here!
Do you know any good computer sites/forums like this ? I intend to go learn computer sciences. Thank you so sososo much- Motifs
- Thread
- Computer Computer science Resource Science
- Replies: 2
- Forum: Computing and Technology
-
Getting Started with Suse 9.1: Finding the Right Resource
As I am new to this OS i need to find a good book, or online service, on how to use it, has anyone a favourite?- wolram
- Thread
- Resource
- Replies: 2
- Forum: Computing and Technology
-
B
Resource Access Control Facility In Physics
Resource Access Control Facility In Physics Understanding the law of quantum law why somethings can be bent and some cannot leads you too one answer quantum law is based on frequency picture a circle. Each dot outside the circle is a law and everything can be computed with in that cirlce...- betalimit
- Thread
- Control Physics Resource
- Replies: 1
- Forum: Other Physics Topics
-
Biographies of Great Mathematicians: A One-Stop Resource
I have searched the web for Biographies of Great Mathematicians! I found them separately...in different pages for different Mathematicians. Can anyone tell me any where I can find them shortly in a single page (with small pic of them)? If there contributions is also written that will be great!- Moni
- Thread
- Resource
- Replies: 2
- Forum: General Math
-
Proposed Resource Sticky for Quantum Differential Geometry
Quantum Geometry is a fairly new field using a wide range of math tools. It would help to have a sticky where links to useful online papers can be kept for ready access. A lot of the interest in quantum differential geometry stems from efforts to quantize the 3+1 spacetime manifold. Not to...- marcus
- Thread
- Differential Differential geometry Geometry Quantum Resource
- Replies: 2
- Forum: Differential Geometry