Classical Combinatory Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Discrete Mathematics and Theoretical Computer Science Année : 2005

Classical Combinatory Logic

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system "à la Hilbert''. We present in this paper a combinatory logic which corresponds to propositional classical logic. This system is equivalent to the system $λ ^{Sym}_{Prop}$ of Barbanera and Berardi.
Fichier principal
Vignette du fichier
dmAF0107.pdf (175.94 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01183333 , version 1 (12-08-2015)

Identifiants

Citer

Karim Nour. Classical Combinatory Logic. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. pp.87-96, ⟨10.46298/dmtcs.3469⟩. ⟨hal-01183333⟩
220 Consultations
1320 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More