jasminecorp.net directory
Updated Blogs
More .....



 
 
| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Martin-Löf\'s Type Theory
Directory > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Intuitionistic Logic > Martin-Löf's Type Theory

Web Sitesi

Implementing Mathematics Using NuPrl
Full online text of the book. Includes tutorial on Martin-Löf's type theory, motivating remarks
on intuitionism, as well as sample formalisations of constructive mathematics in the NuPrl theorem
prover.
http://www.cs.cornell.edu/Info/Projects/NuPrl/book/doc.html
Reviews Rating: Not yet Rated Whois Check

Nuprl Project Related Web Sites
NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory.
http://www.cs.cornell.edu/Info/Projects/NuPrl/html/publication.html
Reviews Rating: Not yet Rated Whois Check

Extensional Concepts in Intensional Type Theory
PhD thesis of Martin Hofmann, which shows how the intensional, constructive view of equality in
Martin-Löf's Type Theory can be reconciled with the classical, extensional view of identity.
http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/95/ECS-LFCS-95-327/index.html
Reviews Rating: Not yet Rated Whois Check

Research Profile of Anton Setzer
Anton Setzer is a prominent researcher working in the area of characterising strong predicative
universes in Martin-Löf's Type Theory.
http://www.math.uu.se/~setzer/research/researchprofile.html
Reviews Rating: Not yet Rated Whois Check

Inductive Definitions in Type Theory
Internet resource accompanying a graduate course given by Peter Dybjer.
http://www.cs.chalmers.se/~peterd/kurser/tt/index.html
Reviews Rating: Not yet Rated Whois Check

Martin-Löf Type Theory: Semantics and Proof Theory
Home page of a working group maintained by Thierry Coquand.
http://www.cs.chalmers.se/~coquand/Sem.html
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia