William M. Farmer McMaster University Revised: 29 September 2003  Home/Search
Context Related
| cas.mcmaster.ca/sqrl/pape...sqrl14.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cas.mcmaster.ca/sq...sqrl_reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an extended version of Church's simple type theory called Basic Extended Simple Type Theory (bestt). By adding type variables and support for reasoning with tuples, lists, and sets to simple type theory, it is intended to be a practical logic for formalized mathematics. (Update)
Cited by: More
The Seven Virtues of Simple Type Theory William M. Farmer - December (Correct)
Similar documents (at the sentence level):
75.6%: A Basic Extended Simple Type Theory - Farmer (2001) (Correct)
Active bibliography (related documents): More All
0.3: Web Accessible Real-Time Geospatial Operations Via Satellite.. - Wu (2003) (Correct)
0.2: Collections, Sets and Types - Dowek (1995) (Correct)
0.2: Hierarchical Contextual Reasoning - Autexier (2003) (Correct)
Similar documents based on text: More All
0.2: Theory Interpretation in Simple Type Theory - Farmer (1994) (Correct)
0.2: A Scheme for Defining Partial Higher-Order Functions by Recursion - Farmer (2001) (Correct)
0.2: A Sound and Complete Proof System for STTwU - William Farmer Mcmaster (Correct)
Related documents from co-citation: More All
2: A formulation of the simple theory of types (context) - Church - 1940
2: A partial functions version of Church's simple theory of types (context) - Farmer - 1990
2: TPS: A theorem proving system for classical type theory - Andrews, Bishop et al. - 1994
BibTeX entry: (Update)
W. M. Farmer. A basic extended simple type theory. SQRL Report No. 14, McMaster University, 2003. http://citeseer.ist.psu.edu/farmer03basic.html More
@misc{ farmer03basic,
author = "W. Farmer",
title = "A basic extended simple type theory",
text = "W. M. Farmer. A basic extended simple type theory. SQRL Report No. 14,
McMaster University, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/farmer03basic.html" }
Citations (may not include all citations):592 Introduction to HOL: A Theorem Proving Environment for Highe.. (context) - Gordon, Melham - 1993
419 A formulation of the simple theory of types (context) - Church - 1940
151 An Introduction to Mathematical Logic and Type Theory: To Tr.. (context) - Andrews - 2002
99 imps: An Interactive Mathematical Proof System - Farmer, Guttman et al. - 1993
82 volume 828 of Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
79 Elements of ML Programming (context) - Ullman - 1998
53 A partial functions version of Church's simple theory of typ.. (context) - Farmer - 1990
51 PVS: Combining speci cation (context) - Owre, Rajan et al. - 1996
39 Mathematical logic as based on the theory of types (context) - Russell - 1908
17 The foundations of mathematics (context) - Ramsey - 1926
13 A theory of propositional types (context) - Henkin - 1963
11 imps: An updated system description (context) - Farmer, Guttman et al. - 1996
6 A reduction of the axioms for the theory of propositional ty.. (context) - Andrews - 1963
5 System description: TPS: A theorem proving system for type t.. - Andrews, Bishop et al. - 2000
3 Available at http://www (context) - Ltd, Description - 2000
3 Przeglad Filozo czny (context) - Chwistek - 1921
2 Paperback version to section *56 published (context) - Whitehead, Russell et al. - 1964
Documents on the same site (http://www.cas.mcmaster.ca/sqrl/sqrl_reports.html): More
On Documenting the Requirements for Computer Programs Based.. - Kreyman, Parnas (Correct)
Computing the Singular Values of 2-by-2 Complex Matrices - Qiao, Wang (Correct)
The design and implementation of an object-oriented.. - Nedialkov, Jackson (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC