Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Intersection type discipline

In mathematical logic, the intersection type discipline is a branch of type theory encompassing type systems that use the intersection type constructor ( ∩ ) {\displaystyle (\cap )} to assign multiple types to a single term. In particular, if a term M {\displaystyle M} can be assigned both the type φ 1 {\displaystyle \varphi _{1}} and the type φ 2…

History & Art

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Intersection type discipline. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

History

Coppo–Dezani type assignment system

Barendregt–Coppo–Dezani type assignment system

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Intersection type discipline

Nodes38
Edges37
Triples17
Avg. degree1.95
Density0.052632
Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Intersection type discipline

Top relations

related to history · 16
Intersection type discipline → Coppo, Dezani, Due, Garrel Pottinger, Henk Barendregt, However, In, Mariangiola Dezani-Ciancaglini, Mario Coppo, On, Patrick Sallé, Pottinger, Sallé, The, Using, While
is a · 1
Intersection type discipline → branch of type theory encompassing type systems that use the intersection type constructor

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

type intersection displaystyle vdash text types term normalization cap systems system sigma bcd gamma coppo cd constructor assigned dezani properties

Entity relationships Subject–Predicate–Object triples

SubjectPredicateObjectConfidenceSrc
Intersection type disciplineis abranch of type theory encompassing type systems that use the intersection type constructor0.90text
Intersection type disciplinerelated to historyThe0.60section
Intersection type disciplinerelated to historyMario Coppo0.60section
Intersection type disciplinerelated to historyMariangiola Dezani-Ciancaglini0.60section
Intersection type disciplinerelated to historyPatrick Sallé0.60section
Intersection type disciplinerelated to historyGarrel Pottinger0.60section
Intersection type disciplinerelated to historyWhile0.60section
Intersection type disciplinerelated to historyCoppo0.60section
Intersection type disciplinerelated to historyDezani0.60section
Intersection type disciplinerelated to historyPottinger0.60section
Intersection type disciplinerelated to historyIn0.60section
Intersection type disciplinerelated to historySallé0.60section

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

    Min side: 3
    For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.