Towards an Intersection Typed System à la Church | Zendy

Luigi Liquori | Zendy; Simona Ronchi Della Rocca | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards an Intersection Typed System à la Church

Author(s) -

Luigi Liquori,

Simona Ronchi Della Rocca

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.06.015

Subject(s) - intersection (aeronautics) , system f , typed lambda calculus , simply typed lambda calculus , dependent type , lambda calculus , computer science , type (biology) , lambda , programming language , mathematics , calculus (dental) , engineering , physics , medicine , ecology , dentistry , aerospace engineering , optics , biology

In this paper, we presents a comfortable fully typed lambda calculus based on the well-known intersection type system discipline where proof are not only feasible but easy; the present system is the counterpart à la Church of the type assignment system as invented by Coppo and Dezani

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research