Searching for authors named "Ulrich Berger" – sorted by Relevance.
-
Domain-Theoretic Methods for Program Synthesis
- Domain-theoretic methods for program synthesis Case for Support Ulrich Berger Department
- Add To MetaCart
-
From Heyting's arithmetic to verified programs
- . 1998 Ulrich Berger Mathematisches Institut der Ludwig{Maximilians{Universitat Munchen Theresienstrae
- Add To MetaCart
-
The Berardi-Bezem-Coquand-Functional in a Domain-Theoretic Setting
- THE BERARDI-BEZEM-COQUAND-FUNCTIONAL IN A DOMAIN-THEORETIC SETTING ULRICH BERGER Abstract. We study
- Add To MetaCart
-
Continuous Functionals of Dependent and Transfinite Types
- Continuous Functionals of Dependent and Transnite Types Ulrich Berger 1 1 Introduction
- Cited by 8 (2 self) – Add To MetaCart
-
Minimisation Vs. Recursion on the Partial Continuous Functionals
- Minimisation vs. recursion on the partial continuous functionals Ulrich Berger Department
- Cited by 2 (1 self) – Add To MetaCart
-
Uniform Heyting arithmetic
- UNIFORM HEYTING ARITHMETIC ULRICH BERGER Dedicated to Helmut Schwichtenberg on his 60th Birthday
- Cited by 5 (0 self) – Add To MetaCart
-
Density Theorems for the Domains-With-Totality Semantics of Dependent Types
- Density theorems for the domains-with-totality semantics of dependent types Ulrich Berger
- Cited by 7 (0 self) – Add To MetaCart
-
Continuous semantics for strong normalization
- Continuous Semantics for Strong Normalization Ulrich Berger u.berger@(email omitted); University
- Cited by 4 (2 self) – Add To MetaCart
-
A coinductive approach to exact real number computation
- coinductive approach to exact real number computation Ulrich Berger Swansea 1 / 45The aims of this talk
- Add To MetaCart
-
◮ Digit spaces
- Domains IX Brighton, 22-24 September 2008 A coinductive approach to digital computation Ulrich
- Add To MetaCart

