Back
  1. Home
  3. Detailed Reference
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 (1)Send toDetailsStatisticsBibliographySimilar 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


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
37 (0 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenAlex citations
 
4
WoS citations™
 
1

Bibliography

Similar publications


Contact ORBilu