Você está em: Start > Publications > View > On the Relation between Rank 2 Intersection Types and Simple Types

Map of Premises

Publication

Publications

On the Relation between Rank 2 Intersection Types and Simple Types

Title

Type

Article in International Conference Proceedings Book

Date

2002

Title

On the Relation between Rank 2 Intersection Types and Simple Types

Type

Article in International Conference Proceedings Book

Year

2002

Authors

Sandra Alves

(Author)

FCUP

Florido, M

(Author)

FCUP

Conference proceedings International

Title: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. Search for Conference Proceedings Publications

Pages: 259-274

Other information

Authenticus ID: P-00S-6NG

Language: English

Type (Professor's evaluation): Scientific

Documents

We could not find any documents associated to the publication.

Related Publications

Weak linearization of the lambda calculus (2005)
Article in International Scientific Journal
Alves, S; Florido, M

The power of linear functions (2006)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie

The Power of Closed Reduction Strategies (2007)
Article in International Scientific Journal
Alves, S; Fernandez, M; Florido, M; Mackie, I

Pattern-based calculi with finitary matching (2018)
Article in International Scientific Journal
Sandra Alves; Dundua, B; Florido, M; Kutsia, T

Minimality in a Linear Calculus with Iteration (2008)
Article in International Scientific Journal
Alves, S; Florido, M; Mackie, I; Sinot, FR