Paper
  • You must be logged in to use all features
  • Import a .START file
  • Add this to a Review
  • Tell someone about this
  • Search on Google Scholar
  • Download Bibtex
  • Download APA reference
  • Edit this data
  • Manage associations
  • Merge it with duplicates
  • Exec internal actor
  • Update from DOI
  • Add multiple references

Intersection type calculi of bounded dimension



2017

Created by Alysson Bolognesi Prado at 2019-03-28 10:01:31.0.
Simplified Graph of Associations
  • SHOW IT!!! (may be slow...)
  • How to use it
  • Use default pruning algorithm
  • Use alternative pruning algorithm
  • Generate image with complete graph
  • Show Graph Info
  • Download graph data for viewer
  • Get URL to embbed it anywhere
Word Cloud
  • Get URL to embbed it anywhere
  • Search topics on Google Scholar
Bibliographic Sets
  • View detailed list
  • Get URL to embbed this list anywhere
1

ACM - Normas

...
Research Paradigm
  • Add/Edit Research Paradigms
Authors
  • View detailed list
  • Add an Author
  • Get URL to embbed this list anywhere
2

Andrej Dudenhefner

Jakob Rehof

Venue
  • View detailed list
  • Add a Venue
  • Get URL to embbed this list anywhere
1

ACM SIGPLAN Notices

References
  • View complete list
  • Add a Reference
  • Get URL to embbed this list anywhere
21

Principality and decidable type inference for finite-rank intersection types

Polymorphic type inference

Essays in Memory of Alonzo Church, pages 331– 342, 2001

essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2012

Recognizability in the Simply Typed Lambda-Calculus

Loader and Urzyczyn Are Logically Related

...
Quid
Login / Register
Help

Your opinion



Is it representative of "Intersection type calculi of bounded dimension"?

Does it provide additional information for your research?

How does this feature contributes to your overall usage of this system?


Please provide any other comment or suggestion:

Your email (optional):

Let other people know about this data


Paper :

Intersection type calculi of bounded dimension


Send a link to this page to:
Send to yourself
Aditional email(s):
Custom message:

Add to a Bibliographic Set


Intersection type calculi of bounded dimension


Reviews owned by user

Why help?


If you for we can improve the data describing it. In turn, this can help you and other users to improve bibliographical sets and reviews, based on new data we retrieve after your contribution.

Graph Info


Wait, its calculating

Information


Run Internal Actor


Scientific Paradigms


Select one or more research facets assignable to this publication:
Other:

Add association


First, try and find an existing:
Name
Ajax Status - waiting response