search

Skip to results

Modify your search

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Availability

All content I have access to

Purchased
Free

NARROW

Format

Facet list

Journal Article (1)

Type

Facet list

Research Article (1)

Section

Find a Section

The list will update as you type

Facet list

Original Articles (1)

Publication date

Date Range

Published
Updated

Date range

Single date

From Select month

To Select month

Publication date

1-1 of 1

Authors: Antonio Bucciarelli

Save search

Follow your search

Access your saved searches in your account

Name your search

Follow this search

Would you like to receive an alert when new items match your search?

Save search

Sort by

Sort Order Select

Journal Article

Non-idempotent intersection types for the Lambda-Calculus Get access

PDF

Antonio Bucciarelli and others

Logic Journal of the IGPL, Volume 25, Issue 4, August 2017, Pages 431–464, https://doi.org/10.1093/jigpal/jzx018

Published: 03 July 2017

Email alerts

New journal issues

New journal articles

Perform this search in

Journals Journals

Books Books

Oxford Academic Oxford Academic

Modify your search

Publication date

Non-idempotent intersection types for the Lambda-Calculus Get access

Email alerts

This Feature Is Available To Subscribers Only