Embedding a second-order type system into an intersection type system

DOI10.1006/INCO.1995.1040zbMath0826.68117OpenAlexW2107969880MaRDI QIDQ1892875

Hirofumi Yokouchi

Publication date: 6 July 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1040

zbMATH Keywords

intersection type assignment systemsecond-order type assignment system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Related Items (1)

Inhabitation of Low-Rank Intersection Types

This page was built for publication: Embedding a second-order type system into an intersection type system