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.
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