Explicit substitution calculi with de Bruijn indices and intersection type systems
about
Explicit substitution calculi with de Bruijn indices and intersection type systems
description
im Dezember 2014 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в грудні 2014
@uk
name
Explicit substitution calculi with de Bruijn indices and intersection type systems
@en
Explicit substitution calculi with de Bruijn indices and intersection type systems
@nl
type
label
Explicit substitution calculi with de Bruijn indices and intersection type systems
@en
Explicit substitution calculi with de Bruijn indices and intersection type systems
@nl
prefLabel
Explicit substitution calculi with de Bruijn indices and intersection type systems
@en
Explicit substitution calculi with de Bruijn indices and intersection type systems
@nl
P2093
P2860
P356
P1476
Explicit substitution calculi with de Bruijn indices and intersection type systems
@en
P2093
D. L. Ventura
F. Kamareddine
M. Ayala-Rincon
P2860
P304
P356
10.1093/JIGPAL/JZU044
P577
2014-12-30T00:00:00Z