Publications

Linear Rank Intersection Types

AuthID
P-00Y-5J4

Author(s)

Reis, F

Alves, S

Florido, M

Editor(s)

Kesner,D;Pedrot,PM

Document Type

Proceedings Paper

Year published

2022

Published

in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France in LIPIcs, ISSN: 1868-8969

Volume: 269, Pages: 8:1-8:21

Conference

28Th International Conference on Types for Proofs and Programs, Types 2022, Date: 20 June 2022 through 25 June 2022, Location: Nantes

Indexing

Scopus^®

Dblp^®/en/publications/view/988740

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.4230/lipics.types.2022.8

Dblp: conf/types/ReisAF22

Scopus: 2-s2.0-85169298786

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Linear Rank Intersection Types

Useful Links

Get Help

Federated Authentication (Click on the image)

Linear Rank Intersection Types

Useful Links

Get Help