Reducibility proofs in the lambda-calculus

Kamareddine, Fairouz; RAHLI, Vincent; Wells, J. B.

doi:10.3233/FI-2012-773

Demander un accès

Article (Périodiques scientifiques)

Reducibility proofs in the lambda-calculus

Kamareddine, Fairouz; RAHLI, Vincent; Wells, J. B.

2012 • In Fundamenta Informaticae, 121

Peer reviewed

Permalien
https://hdl.handle.net/10993/22676

DOI
10.3233/FI-2012-773

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

FI_reducibility.pdf

Preprint Auteur (247.18 kB)

Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Kamareddine, Fairouz

RAHLI, Vincent ; Heriot-Watt University > School of Mathematical and Computer Sciences

Wells, J. B.

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Reducibility proofs in the lambda-calculus

Date de publication/diffusion :

2012

Titre du périodique :

Fundamenta Informaticae

Volume/Tome :

121

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 30 novembre 2015

Statistiques

Nombre de vues

75 (dont 0 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex

citations WoS^™