Reducibility proofs in the lambda-calculus

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

doi:10.3233/FI-2012-773

Request a copy

Article (Scientific journals)

Reducibility proofs in the lambda-calculus

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

2012 • In Fundamenta Informaticae, 121

Peer reviewed

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

DOI
10.3233/FI-2012-773

Files Send to Details Statistics Bibliography Similar publications

Files

Full Text

FI_reducibility.pdf

Author preprint (247.18 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Kamareddine, Fairouz

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

Wells, J. B.

External co-authors :

yes

Language :

English

Title :

Reducibility proofs in the lambda-calculus

Publication date :

2012

Journal title :

Fundamenta Informaticae

Volume :

121

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 30 November 2015

Statistics

Number of views

33 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™