Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
about
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована в січні 2010
@uk
name
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@en
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@nl
type
label
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@en
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@nl
prefLabel
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@en
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@nl
P356
P1476
Principal Typings in a Restric ...... l Forms with De Bruijn Indices
@en
P2093
Daniel Ventura
Fairouz Kamareddine
P356
10.4204/EPTCS.15.6
P577
2010-01-26T00:00:00Z