Isomorphism between Intersection-types

This page demonstrates and distributes a prototypal implementation of an isomorphism checker for intersection-types: The current version (released in July 2010, based on an earlier prototype developed as part of the Master Thesis by D. Rispoli [Rispoli, 2007]):

Grammar:

Operators:

Examples:

Non isomorphic types:

Isomorphic types:

Enter two types in normal form, separated by comma, in the field below, either by typing (pun unintended ...) them directly, or by simply clicking on one of the examples above. Then press Enter.

Bibliography: