Searching for authors named Andrej Bauer – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Abstract Specifications via Realizability
- …Abstract Specifications via Realizability Andrej Bauer Department of Mathematics and Physics…
- Add To MetaCart
-
A Relationship between Equilogical Spaces and Type Two Effectivity
- … transfer results between them. 1 E-mail: Andrej.Bauer@andrej.com, URL: http://andrej.com This is a…
- Cited by 6 (0 self) – Add To MetaCart
-
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
- …On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos Andrej…
- Add To MetaCart
-
J. Symbolic Computation (1998) 11, 1--000 Multibasic and Mixed Hypergeometric Gosper-Type Algorithms
- …Introduction and notation Let F be a field of characteristic zero and ht n i n=0 a sequence of elements from F which is eventually non-zero. Call t n : 1. hypergeometric, if there are polynomials p 1 ; p 2 2 F [x] such that p 1 (n)t n+1 = p 2 (n)t n for all n; 2. q-hypergeometric or basic hyper…
- Add To MetaCart
-
Continuous Functionals of Dependent Types and Equilogical Spaces
- …Continuous Functionals of Dependent Types and Equilogical Spaces Andrej Bauer 1 and Lars Birkedal…
- Cited by 12 (8 self) – Add To MetaCart
-
Sheaf Toposes for Realizability
- … Andrej Bauer † Institut Mittag-Leffler The Royal Swedish Academy of Sciences April 10, 2001 Abstract We…
- Cited by 1 (1 self) – Add To MetaCart
-
Multibasic and Mixed Hypergeometric Gosper-Type Algorithms
- …-Type Algorithms ANDREJ BAUER y AND MARKO PETKOV SEK z y Department of Computer Science, Carnegie Mellon…
- Cited by 10 (0 self) – Add To MetaCart
-
Multibasic and Mixed Gosper's Algorithm
- …Multibasic and Mixed Gosper's Algorithm Andrej Bauer Department of Computer Science Carnegie…
- Cited by 1 (0 self) – Add To MetaCart
-
Lecture Notes: Introduction to Categorical Logic
- …Lecture Notes: Introduction to Categorical Logic [DRAFT: March 12, 2008] Steven Awodey Andrej…
- Add To MetaCart
-
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability
- … and to Banach-Mazur Computability Andrej Bauer ∗ Alex Simpson † December 19, 2003 Abstract We prove two…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
