ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
3
views
0
references
Top references
cited by
1
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,331
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Perpetuality in a named lambda calculus with explicit substitutions
Author(s):
EDUARDO BONELLI
Publication date:
2001
Journal:
Math. Struct. Comp. Sci.
Read this article at
ScienceOpen
Publisher
Bookmark
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Smart Contracts Programming Languages
Author and article information
Journal
DOI::
10.1017/s0960129500003248
ScienceOpen disciplines:
Theoretical computer science
,
Programming languages
,
Computer science
Data availability:
ScienceOpen disciplines:
Theoretical computer science
,
Programming languages
,
Computer science
Comments
Comment on this article
Sign in to comment
scite_
Similar content
1,331
The VIPERS Multi-Lambda Survey
Authors:
T. Moutard
,
S Arnouts
,
O. Ilbert
…
Measurements of production properties of\({K}_{S}^{0}\)mesons and\(\Lambda \)hyperons in proton-carbon interactions at 31 GeV/\(c\)
Authors:
N. Abgrall
,
A. Aduszkiewicz
,
Y. Ali
…
A Comparative Study on the acute toxicity bioassay of dimethoate and lambda-cyhalothrin and effects on thyroid hormones of freshwater teleost fish Labeo rohita (Hamilton)
Authors:
See all similar
Cited by
1
A Theory of Explicit Substitutions with Safe and Full Composition
Authors:
See all cited by