Authors: Ghilezan, Silvia 
Ivetić, Jelena
Title: Intersection types for intuitionistic lambda-Gentzen calculus
Journal: Publications de l'Institute Mathematique
Volume: 82
Issue: 96
First page: 159
Last page: 164
Issue Date: 2007
ISSN: 0350-1302
DOI: 102298/PIM0796085G
URL: http://elib.mi.sanu.ac.rs/files/journals/publ/102/n096p085.pdf
Abstract: 
We introduce an intersection type assignment system for Espirito-Santo’s λGtz-calculus, a term calculus embodying the Curry–Howard correspondence for the intuitionistic sequent calculus. We investigate basic properties of this intersection type system. Our main result is Subject reduction property.
Publisher: Mathematical Institute of the SASA

Show full item record

Page view(s)

13
checked on Jan 30, 2023

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.