TY - GEN
AU - Vial, Pierre
AU - Pierre Vial
TI - Sequence Types for Hereditary Permutators
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - intersection types
KW - coinduction
KW - sequence types
KW - hereditary permutators
KW - non-idempotent intersection
KW - ridigity
KW - Böhm trees
PY - 2019
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -
Download citation