Travelled to:1 × Poland
Collaborated with:J.Rehof J.Bessai B.Düdder T.Chen U.de'Liguoro
Talks about:intersect (2) bound (2) type (2) dimension (1) synthesi (1) composit (1) approxim (1) princip (1) calculi (1) dimens (1)
Person: Andrej Dudenhefner
DBLP: Dudenhefner:Andrej
Contributed to:
2015
20172019Wrote 3 papers:
- TLCA-2015-BessaiDDCdR #composition #mixin #synthesis
- Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
- POPL-2017-DudenhefnerR #bound #calculus
- Intersection type calculi of bounded dimension (AD, JR), pp. 653–665.
- POPL-2019-DudenhefnerR #approximate #bound
- Principality and approximation under dimensional bound (AD, JR), p. 29.