Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem

Journal of Symbolic Logic 40 (3):470-470 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272213

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
Church-Rosser property and intersection types.George Koletsos & George Stavrinos - 2008 - Australasian Journal of Logic 6:37-54.
The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.Garrel Pottinger - 1981 - Notre Dame Journal of Formal Logic 22 (3):264-268.
Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters. [REVIEW]Pierluigi Minari - 2007 - Archive for Mathematical Logic 46 (5-6):385-424.
Proofs of the normalization and Church-Rosser theorems for the typed $\lambda$-calculus.Garrel Pottinger - 1978 - Notre Dame Journal of Formal Logic 19 (3):445-451.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
Automatic proofs for theorems on predicate calculus.Sueli Mendes dos Santos - 1972 - [Rio de Janeiro,: Pontificia Universidade Católica do Rio de Janeiro]. Edited by Marilia Rosa Millan.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Some properties of the -calculus.Karim Nour & Khelifa Saber - 2012 - Journal of Applied Non-Classical Logics 22 (3):231-247.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,187,161)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
Reviving the parameter revolution in semantics.Bryan Pickel, Brian Rabern & Josh Dever - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning. Oxford: Oxford University Press. pp. 138-171.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references