Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, pages 56--68, 1940. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, pages 56--68, 1940.
A Linear Spine Calculus - Cervesato, Pfenning (2001) (1 citation) (Correct)
No context found.
Alonzo Church. A formulation of a simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
A Linear Spine Calculus - Iliano Cervesato Advanced (Correct)
No context found.
Alonzo Church. A formulation of a simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940. 31
TCP, UDP, and Sockets: - Rigorous And Experimentally-Validated (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
Czech Clitics In Higher Order Grammar - Hana (2004) (Correct)
No context found.
Church, Alonzo (1940) "A Formulation of the Simple Theory of Types". The Journal of Symbolic Logic 5(2), 56--68.
Non-trivial Symbolic Computations in Proof - Planning Volker Sorge (2000) (Correct)
No context found.
A. Church. A Formulation of the Simple Theory of Types. J. of Symbolic Logic, 5:56--68, 1940.
A Linear Spine Calculus - Iliano Cervesato Advanced (2003) (1 citation) (Correct)
No context found.
Alonzo Church. A formulation of a simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940. 31
Natural Semantics and Some of its - Meta-Theory In Elf (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
A Linear Spine Calculus - Iliano Cervesato And (2003) (1 citation) (Correct)
No context found.
Alonzo Church. A formulation of a simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940. 31
A Formalization of the Simply Typed Lambda - Calculus In Coq (Correct)
No context found.
A. Church. A formulation of the simple theory of types. J. Symb. Log., 5(2):56--68, 1940.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, pages 56--68, 1940.
Device-Enabled Authorization in the Grey System - Bauer, Garriss, McCune.. (2005) (2 citations) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 1940.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol. 5 (1940), pp. 56--68.
ETPS: A System to Help Students Write Formal Proofs - Andrews, Bishop, Brown.. (2003) (Correct)
No context found.
Church, A.: 1940, `A Formulation of the Simple Theory of Types'. Journal of Symbolic Logic 5, 56--68.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. J. Symbolic Logic, 5:56--68, 1940.
Le Fun: Logic, equations, and Functions - Ait-Kaci, Lincoln, Nasr (1986) (Correct)
No context found.
Church, A., "A Formulation of the Simple Theory of Types." Journal of Symbolic Logic 5, pp. 56-68. 1940.
Down With the Bureaucracy of Syntax! - Pattern Matching For (Correct)
No context found.
Alonzo Church, A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
Subset Types and Partial Functions - Stump (2003) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
Access Control for the Web via Proof-Carrying Authorization - Bauer (2003) (3 citations) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940. 5, 14
Higher Order Quotients and their Implementation in Isabelle HOL - Slotosch (1997) (2 citations) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. J. Symbolic Logic, 5:56--68, 1940.
μJava: Embedding a Programming Language in a Theorem.. - Nipkow, von Oheimb, Pusch (2000) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. J. Symbolic Logic, 1940.
Hoare Logic for Java in Isabelle/HOL - von Oheimb (2001) (2 citations) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. J. Symbolic Logic, 5:56--68, 1940.
Hierarchical Contextual Reasoning - Autexier (2003) (Correct)
No context found.
Church, Alonzo. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68.
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. J. Symbolic Logic, (5):56-68, 1940.
Higher-Order Horn Clauses - Gopalan Nadathur Duke (1990) (35 citations) (Correct)
No context found.
Church, A. A formulation of the simple theory of types. Journal of Symbolic Logic 5 (1940) 56 -- 68. 45
An Interactive Proof System for Map Theory - Skalberg (2002) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. The Journal of Symbolic Logic, 5(2):56-68, June 1940.
The Seven Virtues of Simple Type Theory William M. Farmer - December (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
Certified Reasoning on Real Numbers and Objects in.. - Ciaffaglione (Correct)
No context found.
A. Church. A formulation of the simple theory of types. In Journal of Symbolic Logic, 1940.
The Seven Virtues of Simple Type Theory William M. Farmer - Mcmaster University January (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
FCS'03 Preliminary Version - Encryption As An (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
Linear Logic As A Framework For Specifying Sequent - Calculus Dale Miller (Correct)
No context found.
Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol. 5 (1940), pp. 56-68.
Mobility types in Coq - Furio Honsell Ivan (2003) (1 citation) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
A Linear Spine Calculus - Cervesato, Pfenning (2003) (1 citation) (Correct)
No context found.
Alonzo Church. A formulation of a simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940. 31
A Proof Search Specification of the π-Calculus - Tiu, Miller (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
An Overview of Linear Logic Programming - Dale Miller Inria (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
Inductive datatypes in HOL - lessons learned in Formal-Logic .. - Berghofer, Wenzel (1999) (4 citations) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, pages 56--68, 1940.
A Basic Extended Simple Type Theory - William Farmer Mcmaster (2003) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940. 14
Term Reshuffling in the Barendregt Cube - Roel Bloo Fairouz (Correct)
No context found.
Church, A., A formulation of the simple theory of types, Journal of Symbolic Logic 5, 56-68, 1940.
On Characterizations of the Basic Feasible Functionals Part II - Irwin, Kapron, Royer (2002) (1 citation) (Correct)
No context found.
A. Church, A formulation of the simple theory of types, Journal of Symbolic Logic 5 (1940), 56-68.
A Correspondence between Martin-Löf Type Theory, the.. - Kamareddine, Laan (Correct)
No context found.
A. Church. A formulation of the simple theory of types. The Journal of Symbolic Logic, 5:56-68, 1940.
Machine-checking the Timed Interval Calculus - Jeremy Dawson And (Correct)
No context found.
A Church. A formulation of the simple theory of types. JSL, 5:56--68, 1940.
On Functions and Types - Kamareddine (Correct)
No context found.
A. Church. A formulation of the simple theory of types. The Journal of Symbolic Logic, 5:56-68, 1940.
A Semantics for a fine -calculus with de Bruijn indices - Lilybank Gardens University (Correct)
No context found.
Church, A., (1940) A formulation of the simple theory of types, Journal of Symbolic Logic 5, 56-68.
Curry's Anticipation of the Types Used in Programming Languages - Seldin (2003) (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
Revisiting the Notion of Function - Kamareddine, Laan, Nederpelt (Correct)
No context found.
A. Church. A formulation of the simple theory of types. The Journal of Symbolic Logic, 5:56-68, 1940.
Solving for Set Variables in Higher-Order Theorem Proving - Brown (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
Using Linear Logic to Reason About Sequent - Systems Dale Miller (Correct)
No context found.
Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
A Definitional Approach to Primitive Recursion over.. - Ambler, Crole.. (2003) (3 citations) (Correct)
No context found.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56--68, 1940.
First 50 documents Next 50
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