Searching for authors named "Ulrich Berger" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
