Travelled to:1 × Germany
1 × Italy
1 × Spain
Collaborated with:L.Birkedal M.Hofmann A.Karbyshev M.H.Escardó A.K.Simpson
Talks about:function (3) parametr (1) paradigm (1) equilog (1) continu (1) second (1) number (1) depend (1) comput (1) compar (1)
Person: Andrej Bauer
DBLP: Bauer:Andrej
Contributed to:
2013
2002
2000Wrote 3 papers:
- FoSSaCS-2013-BauerHK #higher-order #monad #on the #parametricity
- On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.
- ICALP-2002-BauerES #functional #paradigm
- Comparing Functional Paradigms for Exact Real-Number Computation (AB, MHE, AKS), pp. 488–500.
- CSL-2000-BauerB #dependent type
- Continuous Functionals of Dependent Types and Equilogical Spaces (AB, LB), pp. 202–216.