Skip to main content

ResearchHubLoading navigation…

Loading ResearchHub…

Explore the network

Research, people, journals and institutions — all in one place.

Explore

01Research 02Smart search 03Researchers 04Journals 05Institutions 06RHR Rankings 07ResearchHub platform 08Events

Work together

Turn ideas into projects, questions and reusable datasets.

Connect

01Projects 02Questions 03Datasets

Stay informed

Follow trends, opportunities and your research library.

Insights

01Research trends 02Opportunities 03Library 04Research services 05ResearchHub Pro 06Pricing

ResearchHub

Explore ResearchHub.

Personal

01Recommended research 02Research intelligence

Home Search Network Library Log in

ResearchHub

Research, connected

Explore the graph

ResearchGate

Download ResearchHub

GET IT ONGoogle PlayComing soonDownload on theApp StoreComing soonEXPLORE IT ONAppGalleryComing soon

Research

Research Researchers Journals Institutions RHR Rankings

Contribute

Projects Questions Datasets Opportunities

Platform

ResearchHub platform About Blog Community Help API Licensing

Shopping

Contact and support

Need help, have a question, or want to contact the ResearchHub team?

Contact and support support@aresearch.uk

© 2026 ResearchHub. Built for responsible scholarly connection.

Privacy Terms Cookies This work is licensed under Creative Commons Attribution 4.0 InternationalCC BY 4.0

Privacy-aware community infrastructure

Lambda Calculus and Intuitionistic Linear Logic - ResearchHub

Verified recordOpen access

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi della Rocca, Luca Roversi

Studia Logica1997doi:10.1023/a:1005092630115

Abstract

No public abstract is available from the verified source records.

Open public full text

Rights: UNKNOWN · https://www.springernature.com/gp/researchers/text-and-data-mining · Source: journal-auto-sync:external:CROSSREF_ISSN

Research graph

Citations: 0
Reference records: 23
Views: 0
Evidence sources: crossrefunpaywalldatacite

Authors

Simona Ronchi della Rocca#1 Luca Roversi#2

Institutions

No ROR-resolved institution is linked to this work yet.

Provenance

crossref

Confidence 100%

unpaywall

Confidence 95%

datacite

Confidence 0%

Referenced works

View all references →

No local reference links have been materialized yet.

Cited by

View all cited-by records →

No local citing links have been materialized yet.

External reference records

Unresolved referenced work

1990

Unresolved referenced work

1992

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

10.1109/lics.1993.287581

10.1109/lics.1993.287581

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

10.1016/0304-3975(87)90045-4

10.1016/0304-3975(87)90045-4 · 1987

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

1980

Unresolved referenced work

Kept as external metadata until matched

10.1016/0304-3975(88)90100-4

10.1016/0304-3975(88)90100-4 · 1988

10.1109/lics.1992.185536

10.1109/lics.1992.185536

10.1017/cbo9780511629150.010

10.1017/cbo9780511629150.010

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

1965

10.1007/3-540-06859-7_148

10.1007/3-540-06859-7_148

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

10.1093/oso/9780198537779.003.0013

10.1093/oso/9780198537779.003.0013

10.1007/3-540-58027-1_24

10.1007/3-540-58027-1_24

Additional external references

No additional external references are available.