Explicit substitution calculi with de Bruijn indices and intersection type systems

, &
Logic Journal of the IGPL 23 (2):295-340 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu044

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Bridging de Bruijn indices and variable names in explicit substitutions calculi.F. Kamareddine & A. Ríos - 1998 - Logic Journal of the IGPL 6 (6):843-874.
On the Expressive Power of Calculi of Explicit Substitution.Ariel Arbiser - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 159.
Explicit substitutions calculi with one step Eta-reduction decided explicitly.Daniel Ventura, Mauricio Ayala-rincón & Fairouz Kamareddine - 2009 - Logic Journal of the IGPL 17 (6):697-718.
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★.F. L. C. de Moura, M. Ayala-Rincón & F. Kamareddine - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):119-150.
Review: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Lambek grammars with one division and one primitive type.Stepan Kuznetsov - 2012 - Logic Journal of the IGPL 20 (1):207-221.
The Complexity of Propositional Proofs with the Substitution Rule.Alasdair Urquhart - 2005 - Logic Journal of the IGPL 13 (3):287-291.
A Note On Negation In Categorial Grammar.Heinrich Wansing - 2007 - Logic Journal of the IGPL 15 (3):271-286.
Łukasiewicz Logic: From Proof Systems To Logic Programming.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2005 - Logic Journal of the IGPL 13 (5):561-585.
Quasi-strongly Finite Sentential Calculi.Zdzislaw Dywan - 1980 - Bulletin of the Section of Logic 9 (4):154-157.

Analytics

Added to PP
2016-06-30

Downloads
14 (#993,104)

6 months
4 (#1,005,419)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references